Spara
Mathematical Logic
Författare:
häftad, 2012
Engelska
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.
- Undertitel
- An Introduction to Model Theory
- Författare
- A. Lightstone
- Upplaga
- Softcover reprint of the original 1st ed. 1978
- ISBN
- 9781461587521
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-12-27
- Sidor
- 338
