bokomslag Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natrliches Schlieen. Kalkl der Positiv- und Negativteile. Spielarten der Semantik
Vetenskap & teknik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natrliches Schlieen. Kalkl der Positiv- und Negativteile. Spielarten der Semantik

Wolfgang Stegmller

Pocket

479:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 230 sidor
  • 1983
  • Författare: Wolfgang Stegmller
  • Format: Pocket/Paperback
  • ISBN: 9783540122111
  • Språk: Engelska
  • Antal sidor: 230
  • Utgivningsdatum: 1983-11-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K