Cover Image

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /

Bibliographic Details
Other Authors:	Costa, Newton C. A. da, Alcantara, Luiz Paulo de, 1944-
Format:	Book
Language:	English French
Published:	New York : M. Dekker, [1985]
Series:	Lecture notes in pure and applied mathematics ; v. 94.
Subjects:	Costa, Newton C. A. da. Logic, Symbolic and mathematical.

Similar Items

Mathematical logic and formalized theories ; a survey of basic concepts and results.
by: Rogers, Robert, 1926-
Published: (1971)

Introductory formal logic of mathematics.
by: Nidditch, P. H.
Published: (1957)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert, 1926-2011
Published: (1974)

Logic and foundations of mathematics /
Published: (1968)

Mathematical interpretation of formal systems
Published: (1955)

Proof, logic, and formalization /
Published: (1992)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)

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

Mathematical logic.
by: Ponasse, Daniel
Published: (1973)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

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

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

Mathematical logic.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

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

Mathematics and mathematical logic : new research /
Published: (2010)

Mathematical logic : a course with exercises /
by: Cori, René
Published: (2000)

Perspectives on the history of mathematical logic /
Published: (2008)

Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)

The mathematics of logic : a guide to completeness theorems and their applications /
by: Kaye, Richard (Richard W.)
Published: (2007)

Mathematical logic /
by: Tourlakis, George J.
Published: (2008)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)

Language, logic, and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Handbook of mathematical logic /
Published: (1977)

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

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

Principles of mathematical logic /
by: Hilbert, David, 1862-1943
Published: (1999)

Lectures on mathematical logic /
by: Felscher, Walter
Published: (2000)

Elements of mathematical logic /
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

Foundations of mathematical logic.
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1963)

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

Studies in constructive mathematics and mathematical logic /
Published: (1969)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

A survey of mathematical logic /
Published: (1963)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

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

A course in mathematical logic /
by: Bell, J. L. (John Lane)
Published: (1977)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

A profile of mathematical logic.
by: DeLong, Howard, 1936-
Published: (1970)

Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)