Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.
Format
Post in Mathematics
BY Lev D. Beklemishev
0720422582 Shared By Guest
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers. Lev D. Beklemishev is available to download
| Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.Model theory for infinitary ... Textbook Lev D. Beklemishev | |
| Type: | eBook |
| Released: | 1971 |
| Publisher: | Elsevier Science |
| Page Count: | 202 |
| Format: | djvu |
| Language: | English |
| ISBN-10: | 0720422582 |
| ISBN-13: | 9780720422580 |
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.
You should be logged in to Download this Document. Membership is Required. Register here
Related Books on Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.
- A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
- Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Artificial Intelligence — FoLLI Publications on Logic, Language and Information)
- Infinitary Logic: In Memoriam Carol Karp
Comments (0)