Ergebnisse filtern
-
- 3
- 1
-
- 1
- 1
- 1
- 1
-
- 1
- 2
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
Pym The Semantics and Proof Theory of the Logic of Bunched Implications
1. Auflage 2002Verlag: SpringerISBN: 978-1-4020-0745-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pym The Semantics and Proof Theory of the Logic of Bunched Implications
Erscheinungsjahr 2013Verlag: Springer NetherlandsISBN: 978-94-017-0091-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Pym The Semantics and Proof Theory of the Logic of Bunched Implications
1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: SpringerISBN: 978-90-481-6072-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pym / Ritter Reductive Logic and Proof-Search
Proof Theory, Semantics, and ControlErscheinungsjahr 2004Verlag: OUP OxfordISBN: 978-0-19-852633-9Medium: Buch220,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort