Tallenna
Mathematical Logic
Kirjailija:
nidottu, 2012
englanti
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.
- Alaotsikko
- An Introduction to Model Theory
- Kirjailija
- A. Lightstone
- Painos
- Softcover reprint of the original 1st ed. 1978
- ISBN
- 9781461587521
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.12.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 338
