Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I) - BUCH - Wallen, Lincoln A.
Marktplatzangebote
Gebraucht bestellen
Ein Angebot für € 33,90 €
  • Buch

Produktdetails
  • Verlag: MIT Press
  • ISBN-13: 9780262231442
  • Artikelnr.: 46145534