Nicht lieferbar
Automated theorem-proving in non-classical logics. - Thistlewaite, Paul B.
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
  • Buch

Produktdetails
  • Verlag: Pitman
  • ISBN-13: 9780273087816
  • Artikelnr.: 36902631
  • Herstellerkennzeichnung
    • Die Herstellerinformationen sind derzeit nicht verfügbar.