Siirry suoraan sisältöön
First-Order Logic
Tallenna

First-Order Logic

Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under this assignment is usually defined by an inductive procedure.
Painos
Softcover reprint of the original 1st ed. 1968
ISBN
9783642867200
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
14.4.2012
Sivumäärä
160