|
|
|
|
LEADER |
02254nmm a2200421 u 4500 |
001 |
EB002120415 |
003 |
EBX01000000000000001258472 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
221028 ||| eng |
020 |
|
|
|a 6613837849
|
020 |
|
|
|a 9786613837844
|
020 |
|
|
|a 0720422582
|
020 |
|
|
|a 1283525399
|
020 |
|
|
|a 9780720422580
|
020 |
|
|
|a 9781283525398
|
020 |
|
|
|a 0080954758
|
050 |
|
4 |
|a QA9
|
100 |
1 |
|
|a Keisler, H. Jerome
|
245 |
0 |
0 |
|a Model theory for infinitary logic
|b logic with countable conjunctions and finite quantifiers
|c H. Jerome Keisler
|
260 |
|
|
|a Amsterdam
|b North-Holland Pub. Co.
|c 1971, 1971
|
300 |
|
|
|a x, 208 pages
|
505 |
0 |
|
|a Includes bibliographical references
|
505 |
0 |
|
|a Front Cover; Model Theory for Imfinitary Logic; Copyright Page; Table of Contents; PART I; Chapter 1. Introduction; Chapter 2. Scott's Isomorphism Theorem; Chapter 3. Model Existence Theorem; Chapter 4. Completeness Theorem; Chapter 5. Craig Interpolation Theorem; Chapter 6. Lyndon Interpolation Theorem; Chapter 7. Malitz Interpolation Theorem; Chapter 8. Admissible sets; Chapter 9. Barwise Compactness Theorem; Chapter 10. Undefinability of well order; Chapter 11. Omitting Types Theorem; Chapter 12. Prime models; PART II; Chapter 13. Skolem functions and indiscernibles
|
653 |
|
|
|a Théorie des modèles
|
653 |
|
|
|a Model theory / http://id.loc.gov/authorities/subjects/sh85086421
|
653 |
|
|
|a Model theory / fast / (OCoLC)fst01024368
|
653 |
|
|
|a Infinitary languages / fast / (OCoLC)fst00972420
|
653 |
|
|
|a Infinitary languages / http://id.loc.gov/authorities/subjects/sh85066097
|
653 |
|
|
|a Langages infinitaires
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b ZDB-1-ELC
|a Elsevier eBook collection Mathematics
|
490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
500 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
|
015 |
|
|
|a Ne71-33
|
856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/0049237X/62
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511/.3
|
520 |
|
|
|a Provability, Computability and Reflection
|