Gå direkte til innholdet
First-Order Logic
Spar

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.
Opplag
Softcover reprint of the original 1st ed. 1968
ISBN
9783642867200
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
14.4.2012
Antall sider
160