bokomslag Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang Richard Char Lee

Pocket

729:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 331 sidor
  • 1973
  • Författare: Chin-Liang Chang, Richard Char Lee
  • Format: Pocket/Paperback
  • ISBN: 9781493300242
  • Språk: Engelska
  • Antal sidor: 331
  • Utgivningsdatum: 1973-06-11
  • Förlag: Elsevier Science