Mathematical logic and formalized theories : a survey of basic concepts and results /

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

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

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)

Mathematical interpretation of formal systems
Published: (1955)

A survey of mathematical logic /
Published: (1963)

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

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

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

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /
Published: (1985)

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

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Handbook of mathematical logic /
Published: (1977)

Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

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

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)

The Notre Dame lectures /
Published: (2005)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Matrix logic /
by: Stern, August, 1945-
Published: (1988)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

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

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 /
Published: (1978)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)

A tour through mathematical logic /
by: Wolf, Robert S.
Published: (2005)

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

Formal systems and recursive functions /
Published: (1965)

Hanbdook of logic in computer science.
Published: (2020)

Collected works.
by: Gödel, Kurt
Published: (2023)