Ergebnisse filtern
-
- 3
-
- 1
- 1
- 1
-
- 1
- 1
- 3
- 1
-
- 1
- 2
-
- 3
-
- 3
-
- 3
-
- 3
Mathematik | Informatik
-
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 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 / 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
