ISBN: 9783764335946 - semantics of type theory: correctness, completeness and independence results (progress in theoretical computer science) (2 Ergebnisse)
von Thomas Streicher
- Hardcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, DeutschlandRoland Antiquariat UG haftungsbeschränkt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 70,00
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. XII, 298 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9783764335946 Sprache: Englisch Gewicht in Gramm: 1000.
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 199,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. 1991. Semantics of type theory : Correctness, Completeness and Independence Results In deutscher Sprache. pages.
