Logic for Applications

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical...
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 2618141

Buch139.05
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 2618141

Buch139.05
Jetzt vorbestellen

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical...

Kommentar zu "Logic for Applications"

Andere Kunden kauften auch

Mehr Bücher von Anil Nerode

Weitere Empfehlungen zu „Logic for Applications “

0 Gebrauchte Artikel zu „Logic for Applications“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich