The axiomatic method : an introduction to mathematical logic /

Main Author:	Lightstone, A. H
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J.: Prentice-Hall, [c1964]
Subjects:	Logic, Symbolic and mathematical Axioms Mathematics > Philosophy

Similar Items

La methode axiomatique
by: Gonseth, Ferdinand, 1890-
Published: (1938)

L/ axiomatique/
by: Blanche?, Robert
Published: (1959)

An axiomatic basis for quantum mechanics /
by: Ludwig, Gunther, 1918-
Published: (1985)

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

Mathematical logic and the foundations of mathematics/
by: Kneebone, G. T.
Published: (1963)

The development of mathematical logic/
by: Nidditch, Peter H.
Published: (1998)

Freydʹs models for the independence of the axiom of choice/
by: Blass, Andreas, 1947-
Published: (1989)

Mathematical logic/
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)

Mathematical logic/
by: Kleene, Stephen Cole, 1909-1994
Published: (2002)

Logic with trees : an introduction to symbolic logic /
by: Howson, Colin.
Published: (1997)

Language, truth, and logic in mathematics /
by: Hintikka, Jaakko, 1929-
Published: (1998)

Proofs and refutations : : the logic of mathematical discovery /
by: Lakatos, Imre
Published: (1976)

The foundations of mathematics and other logical essays,
by: Ramsey, Frank Plumpton, 1903-1930
Published: (1931)

The foundations of mathematics and other logical essays,
by: Ramsey, Frank Plumpton, 1903-1930
Published: (1931)

Proofs and refutations: the logic of mathematical discovery/
by: Lakatos, Imre
Published: (1976)

Axiomatic set theory/
by: Suppes, Patrick, 1922-
Published: (1972)

Introduction to logic and to the methodology of deductive sciences/
by: Tarski, Alfred, 1901-1983
Published: (1965)

Αξιωματική μέθοδος: μεθοδολογία/
by: Blanche, Robert

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

The elements of mathematical logic/
by: Rosenbloom, Paul C.
Published: (1950)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
by: Hopkins, Burt C.
Published: (2011)

From frege to Godel : a source book in mathematical logic, 1879-1931 /
by: Van Heijenoort, Jean
Published: (1967)

Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
by: Mostowski, Andrzej
Published: (1966)

Distilling ideas an introduction to mathematical thinking /
by: Katz, Brian P.
Published: (2013)

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

Ω-Bibliography of mathematical logic/
Published: (1987)

Formal methods= an introduction to symbolic logic and to the study of effective operations in arithmetic and logic/
by: Beth, Evert W.
Published: (1962)

Logical frameworks for truth and abstraction: an axiomatic study/
by: Cantini, Andrea
Published: (1996)

Intermediate logic
by: Bostock, David
Published: (1997)

Mathematics and logic for digital devices
by: Culbertson, James Thomas, 1911-
Published: (1958)

Mathematics and logic for digital devices
by: Culbertson, James Thomas, 1911-
Published: (1958)

Logical frameworks for truth and abstraction: : an axiomatic study/
by: Cantini, Andrea
Published: (1996)

Solutions to the exercises in first course in mathematical logic/
by: Binford, Frederick
Published: (1965)

Goedel'96: : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy/
Published: (1996)

The Oxford handbook of philosophy of mathematics and logic /
Published: (2005)

The Oxford handbook of philosophy of mathematics and logic/
by: Shapiro, Steward, 1951-
Published: (2005)

The Oxford handbook of philosophy of mathematics and logic/
Published: (2005)

The Oxford handbook of philosophy of mathematics and logic
Published: (2005)

Cannot write session to /tmp/vufind_sessions/sess_vme4e2f33214s2t04bko90hnv2