Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.

✍ Scribed by H. Jerome Keisler

Publisher: Elsevier Science
Year: 1971
Tongue: English
Leaves: 202
Series: Studies in Logic and the Foundations of Mathematics 62
Edition: 1st
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Theory for Infinitary Logic: Logic

📁 Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers

✍ H. Jerome Keisler 📂 Library 📅 1971 🏛 North-Holland Publishing 🌐 English

This book grew out of a Survey Lecture given to the Association for Symbolic Logic meeting in January 1969 and is based on a course at the University of Wisconsin in the spring of 1969. It is planned both as a textbook for an advanced graduate course and as a reference for research work in mathemati

Model theory for infinitary logic: logic

📁 Model theory for infinitary logic: logic with countable conjunctions and finite quantifiers

✍ H. J. Keisler 📂 Library 📅 1971 🏛 Elsevier, Academic Press 🌐 English

Model Theory for Infinitary Logic: Logic

📁 Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers

✍ H. Jerome Keisler 📂 Library 📅 1971 🏛 North-Holland Pub. Co 🌐 English

Model Theory for Modal Logic Part 3

📁 Model Theory for Modal Logic Part 3

📂 Fiction

Model Theory for Modal Logic: Kripke Mod

📁 Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi

✍ Kenneth A. Bowen (auth.) 📂 Library 📅 1979 🏛 Springer Netherlands 🌐 English

Model theory for modal logic: Kripke mod

📁 Model theory for modal logic: Kripke models for modal predicate calculi

✍ Bowen, Kenneth A 📂 Library 📅 1979 🏛 Springer 🌐 English