Large infinitary languages model theory M. A. Dickmann
Material type:
TextSeries: Studies in logic and the foundations of mathematics; v.83Publication details: Amsterdam North-Holland 1975Description: xv, 464pISBN: - 0 7204 2200 0
- 511.3 D553L
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Books
|
Govind Ballabh Pant University of Agriculture and Technology | 511.3 D553L (Browse shelf(Opens below)) | Available | 196828 |
Browsing Govind Ballabh Pant University of Agriculture and Technology shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 C951A Algebra and logic | 511.3 D279M Mathematical logic and formal systems | 511.3 D497A Aspects of constructibility | 511.3 D553L Large infinitary languages | 511.3 D783F Formal languages and automata theory | 511.3 E56M Mathematical introduction to logic | 511.3 E56M,2 Mathematical introduction to logic |
Includes index
There are no comments on this title.