Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Thistlewaite, Paul B. Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer,
Verkauft von AwesomeBooks, Wallingford, Vereinigtes Königreich
AbeBooks-Verkäufer seit 28. November 2006
Gebraucht - Softcover
Zustand: Very Good
Anzahl: 1 verfügbar
In den Warenkorb legen