Liebe Besucherinnen und Besucher,
aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.
Ihr Team von Sack Fachmedien
-
- 3
-
- 1
- 1
- 1
-
- 1
- 2
-
- 3
-
- 3
-
- 3
-
- 3
-
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
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: Buch231,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular