First-order logic

First-order logic [by] Raymond M. Smullyan.

Saved in:

Bibliographic Details
Main Author:	Smullyan, Raymond M.
Format:	Book
Language:	English
Published:	Berlin, New York [etc.] Springer-Verlag, 1968.
Series:	Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 43
Subjects:	Logic, Symbolic and mathematical.

Similar Items

Mathematical logic: a first course
by: Robbin, Joel W.
Published: (1969)

Logic : mathematics, language, computer science, and philosophy
by: Swart, H. C. M. de
Published: (1993)

Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)

Mathematical logic
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Logic for mathematicians
by: Hamilton, A. G., 1943-
Published: (1978)

Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1964)

An introduction to mathematical logic
by: Hodel, Richard E.
Published: (1995)

An introduction to mathematical logic
by: Robison, Gerson B., 1909-
Published: (1969)

Introduction to symbolic logic,
by: Basson, A. H.
Published: (1960)

Handbook of mathematical logic
Published: (1976)

An algebraic introduction to mathematical logic
by: Barnes, Donald W.
Published: (1975)

Elements of mathematical logic. (Model theory)
by: Kreisel, Georg
Published: (1971)

A new approach to logic
by: Katz, Robert, 1922-
Published: (1977)

A course in mathematical logic
by: Manin, I︠U︡. I.
Published: (1977)

Popular lectures on mathematical logic
by: Wang, Hao, 1921-
Published: (1980)

The logic of sequences : a generalization of Principia mathematica
by: Quine, W. V. (Willard Van Orman)
Published: (1990)

A first course in formal logic and its applications in computer science
by: Dowsing, Roy
Published: (1986)

A course in mathematical logic for mathematicians
by: Manin, I︠U︡. I.
Published: (2010)

Logic colloquium '73 : proceedings
Published: (1975)

Classical and fuzzy concepts in mathematical logic and applications
by: Reghiș, Mircea
Published: (1998)

Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.
Published: (1969)

Algebraic methods of mathematical logic.
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)

Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Published: (1981)

An introduction to mathematical logic and type theory : to truth through proof
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)

Logic and foundations of mathematics
Published: (1968)

Entailment : the logic of relevance and necessity
by: Anderson, Alan Ross
Published: (1975)

Euclid in the rainforest : discovering universal truth in logic and math
by: Mazur, Joseph
Published: (2005)

How to prove it : a structured approach
by: Velleman, Daniel J.
Published: (1994)

Introduction to mathematical structures and proofs
by: Gerstein, Larry J.
Published: (1996)

Mathematical intuitionism : introduction to proof theory
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)

How to read and do proofs : an introduction to mathematical thought process
by: Solow, Daniel
Published: (1982)

Mathematics and plausible reasoning.
by: Polya, George, 1887-
Published: (1954)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory,
by: Gödel, Kurt
Published: (1940)

Duality and definability in first order logic
by: Makkai, Michael, 1939-
Published: (1993)

Principia mathematica,
by: Whitehead, Alfred North, 1861-1947
Published: (1950)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Published: (1975)