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

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

41

Bibliographic Details
Main Author:	404540 Keisler, H. Jerome
Format:
Published:	Amsterdam : North-Holland Publishing, 1971
Subjects:	Infinitary languages Model theory Logic, Symbolic and mathematical

Similar Items

Large infinitary languages : model theory /
by: 366838 Dickmann, M. A.
Published: (1975)

Infinitary logic : in memoriam Carol Karp /
by: Kueker, D. W.
Published: (1975)

“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic
by: Pogonowski Jerzy
Published: (2021-12-01)

The Syntax and semantics of infinitary languages /
by: Barwise, John
Published: (1968)

Anti-Realism and Infinitary Proofs
by: Diego Tajer
Published: (2012-05-01)

Mathematical logic and computability /
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Mathematical logic and computability / [disket]
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Gödel’s Incompleteness Theorems and Physics
by: Newton C. A. da Costa
Published: (2011-12-01)

Gödel’s Incompleteness Theorems and Physics
by: Newton C. A. da Costa
Published: (2011-09-01)

Mathematical logic : an introduction to model theory /
by: 314347 Lightstone, A. H., et al.
Published: (1978)

Set theory and logic /
by: 440414 Stoll, Robert Roth
Published: (1963)

Logica universalis : towards a general theory of logic /
by: Beziau, Jean-Yves
Published: (2007)

Languages with expressions of infinite length /
by: 361023 Karp, Carol Ruth
Published: (1964)

Sets, logic and axiomatic theories /
by: 440414 Stoll, Robert Roth
Published: (1974)

Switching circuits : theory and logic design /
by: 227389 Torng, H. C.
Published: (1972)

Elements of mathematical logic and set theory /
by: 323266 Slupecki, J., et al.
Published: (1967)

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

Non-classical logic, model theory and computability
Published: (1977)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
by: Jörg Endrullis, et al.
Published: (2018-01-01)

Mathematical logic, the theory of algorithms and theory of sets /
by: Adjan, S.
Published: (1977)

An Example of Π30-complete Infinitary Rational Relation
by: Olivier Finkel
Published: (2007-04-01)

Elements of mathematical logic (model theory) /
by: 351900 Kreisel, G., et al.
Published: (1971)

Fundamentals of mathematical logic /
by: 366611 Hinman, Peter G.
Published: (2005)

Quantum logic/
by: 353961 Mittlestaedt, Peter
Published: (1978)

Logic /
by: 344312 Earle, Nick
Published: (1973)

Logic of mathematics : a modern course of classical logic /
by: 454206 Adamowicz, Zofia, et al.
Published: (1997)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Symbolic logic and the game of logic /
by: 389608 Carrol, Lewis
Published: (1958)

Intuitionistic logic model theory and forcing /
by: Fitting, Melvin, 1942-
Published: (1969)

ISILC logic conference : proceedings /
by: International Summer Institute and Logic Colloquium (1974 : University of Kiel), et al.
Published: (1975)

Logic : proof
by: Open University. Mathematics Foundation Course Team
Published: (1971)

Mathematical logic /
by: 219920 Ebbinghaus, Heinz-Dieter, et al.
Published: (1994)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2004)

logic for mathematicians /
by: 341990 Rosser, J. Barkley
Published: (1953)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1979)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1954)

Symbolic logic /
by: 389685 Grunberg, Teo
Published: (1972)

Introduction to logic /
by: 299767 Copi, Irving M., et al.
Published: (1998)