Produktinfo
Automated Theorem-proving in Non-classical Logics
von Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer
Wiley & Sons Inc.
9780273087816
Jahr: 1988
154 Seiten
Broschiert
Bestellnummer: 1519567
Beschreibung
Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...) - Schnitt und Einband sind etwas staubschmutzig - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache!
books4less - ein Shop
des Versandantiquariats
Petra Gros