Gå direkt till innehållet
First-Order Logic
Spara

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.
Upplaga
Softcover reprint of the original 1st ed. 1968
ISBN
9783642867200
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
14.4.2012
Sidor
160