Lanean...

QR Kodea

Development of mathematical logic,

other_versions_link

Xehetasun bibliografikoak
Egile nagusia:	Goodstein, R. L.
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	London, Logos Press, 1971.
Gaiak:	Logic, Symbolic and mathematical.

Antzeko izenburuak

Grundzuge der theoretischen Logik
nork: Hilbert, David
Argitaratua: (1972)

Logic of programming /
nork: Hehner, Eric C. R.
Argitaratua: (1991)

Outline of set theory /
nork: Henle, James M.
Argitaratua: (1986)

Mathematical logic /
nork: Shoenfield, Joseph R.
Argitaratua: (2001)

Mathematical logic
nork: Chiswell,Ian, et al.
Argitaratua: (2008)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (2010)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (1964)

Course of mathematical logic /
nork: Fraïssé, Roland
Argitaratua: (1973)

Foundations of mathematical logic /
nork: Curry, Haskell B.
Argitaratua: (1977)

An introduction to mathematical logic /
nork: Hodel, Richard E.
Argitaratua: (2013)

Introduction to mathematical logic /
nork: Walicki, Michał
Argitaratua: (2012)

Introduction to mathematical logic /
nork: Walicki, Michał
Argitaratua: (2012)

Introduction to mathematical logic
nork: Mendelson, Elliott
Argitaratua: (1964)

What is mathematical logic? /
nork: Crossley,J.N
Argitaratua: (1972)

Introduction to mathematical logic
nork: Walicki, Michał
Argitaratua: (2012)

Mathematical logic : foundations for information science /
nork: Li, Wei
Argitaratua: (2010)

Profile of mathematical logic
nork: Delong, Horward
Argitaratua: (1970)

A precis of mathematical logic /
nork: Bochenski, Joseph M.
Argitaratua: (1959)

A profile of mathematical logic /
nork: DeLong, Howard
Argitaratua: (1970)

Popular lectures on mathematical logic /
nork: Wang, Hao
Argitaratua: (1993)

Introduction to elementary mathematical logic /
nork: Stolyar, A. A.
Argitaratua: (1983)

An outline of mathematical logic : fundamental results and notions explained with all details /
nork: Grzegorczyk, Andrzej
Argitaratua: (1974)

A concise introduction to mathematical logic /
nork: Rautenberg, Wolfgang
Argitaratua: (2010)

Symbolic Logic and the Game of Logic
nork: Carroll, Lewis
Argitaratua: (1958)

Logical forms : an introduction to philosophical logic /
nork: Sainsbury, R. M.
Argitaratua: (1991)

Essentials of symbolic logic /
nork: Simpson, R. L.
Argitaratua: (1988)

Mathematical logic /
nork: Kleene, Stephen Cole
Argitaratua: (2002)

Mathematical logic for computer science /
Argitaratua: (2008)

Logic with trees : an introduction to symbolic logic /
nork: Howson, Colin
Argitaratua: (1997)

Systems of formal logic /
nork: Hackstaff, L. H.
Argitaratua: (1966)

Logic, sets, and recursion /
nork: Causey, Robert L.
Argitaratua: (2006)

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (1973)

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (1979)

Logical investigations /
nork: Frege, Gottlob
Argitaratua: (1977)

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (2015)

System of Logic
nork: Martin, Norman M
Argitaratua: (1989)

Formal logic /
Argitaratua: (2017)

A textbook of logic
nork: Krishna Jain; Author
Argitaratua: (2009)

Foundations of the logical theory of scientific knowledge (complex logic) /
nork: Zinoviev, Aleksandr
Argitaratua: (1973)

A course on mathematical logic /
nork: Srivastava, S. M. (Shashi Mohan)