Spar
Mathematical Logic
Forfatter:
heftet, 2012
Engelsk
Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed.
- Undertittel
- An Introduction to Model Theory
- Forfatter
- A. Lightstone
- Opplag
- Softcover reprint of the original 1st ed. 1978
- ISBN
- 9781461587521
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 27.12.2012
- Antall sider
- 338
