Llwytho...

Côd QR

Grundlagen der Mathematik.v.1

Manylion Llyfryddiaeth
Prif Awdur:	Hilbert, David
Awduron Eraill:	Bernays, Paul
Fformat:	Printed Book
Iaith:	German
Cyhoeddwyd:	Berlin, Heidelberg, New York, Springer, 1968-70.
Rhifyn:	2. Aufl.
Cyfres:	Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber�cksichtigung der Anwendungsgebiete, Bd. 40, 50
Pynciau:	Mathematics > Philosophy. Logic, Symbolic and mathematical.

Eitemau Tebyg

Grundlagen der Mathematik.v.2
gan: Hilbert, David
Cyhoeddwyd: (1970)

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

Grundzuge der theoretischen Logik
gan: Hilbert, David
Cyhoeddwyd: (1972)

Harvey Friedman's research on the foundations of mathematics /
gan: Harrington, L. A.ed
Cyhoeddwyd: (1985)

Introduction to the philosophy of mathematics /
gan: Lehman, Hugh
Cyhoeddwyd: (1979)

What is mathematics, really? /
gan: Hersh, Reuben
Cyhoeddwyd: (1997)

Philosophy of mathematics : an introductory essay /
gan: Korner, Stephan
Cyhoeddwyd: (1986)

Principles of mathematics revisited /
gan: Hintikka, Jaakko
Cyhoeddwyd: (1996)

Principia mathematica. V. 1.- 2nd ed.
gan: Whitehead, Alfred North
Cyhoeddwyd: (1927)

A concise introduction to mathematical logic /
gan: Rautenberg, Wolfgang
Cyhoeddwyd: (2010)

Principia mathematica. V.2 .- 2nd ed.
gan: Whitehead, Alfred North
Cyhoeddwyd: (1927)

Principia mathematica. V 3.- 2nd ed.
gan: Whitehead, Alfred North
Cyhoeddwyd: (1927)

Papers in philosophical logic /
gan: Lewis, David K.
Cyhoeddwyd: (1998)

Logic and knowledge : essays, 1901-1950 /
gan: Russell, Bertrand
Cyhoeddwyd: (1956)

Mathematical logic /
gan: Kleene, Stephen Cole
Cyhoeddwyd: (2002)

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

Classical theory of first order logic
gan: Pampapathy Rao, A; Author
Cyhoeddwyd: (1970)

Classical theory of first order logic
gan: Pampapathy Rao, A; Author
Cyhoeddwyd: (1970)

Profile of mathematical logic
gan: Delong, Horward
Cyhoeddwyd: (1970)

Logic collequium 2007
gan: Francoise Delon (ed.)
Cyhoeddwyd: (2010)

A textbook of logic
gan: Krishna Jain; Author
Cyhoeddwyd: (2009)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

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

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

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1973)

Introduction to symbolic logic /
gan: Basson, A. H., et al.
Cyhoeddwyd: (1976)

Introduction to symbolic logic /
gan: Carney, James D.
Cyhoeddwyd: (1970)

Introduction to symbolic logic /
gan: Basson, A. H., et al.
Cyhoeddwyd: (1976)

A precis of mathematical logic /
gan: Bochenski, Joseph M.
Cyhoeddwyd: (1959)

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

Course of mathematical logic /
gan: Fraïssé, Roland
Cyhoeddwyd: (1973)

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

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

A profile of mathematical logic /
gan: DeLong, Howard
Cyhoeddwyd: (1970)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1979)

Logical investigations /
gan: Frege, Gottlob
Cyhoeddwyd: (1977)

An introduction to symbolic logic /
gan: Langer, Susanne K.
Cyhoeddwyd: (1967)

Foundations of mathematical logic /
gan: Curry, Haskell B.
Cyhoeddwyd: (1977)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (2015)