Đang tải...

Mã QR

Grundlagen der Mathematik.v.1

Chi tiết về thư mục
Tác giả chính:	Hilbert, David
Tác giả khác:	Bernays, Paul
Định dạng:	Printed Book
Ngôn ngữ:	German
Được phát hành:	Berlin, Heidelberg, New York, Springer, 1968-70.
Phiên bản:	2. Aufl.
Loạt:	Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber�cksichtigung der Anwendungsgebiete, Bd. 40, 50
Những chủ đề:	Mathematics > Philosophy. Logic, Symbolic and mathematical.

Những quyển sách tương tự

Grundlagen der Mathematik.v.2
Bằng: Hilbert, David
Được phát hành: (1970)

Proofs and refutations : the logic of mathematical discovery /
Bằng: Lakatos, Imre
Được phát hành: (1976)

Grundzuge der theoretischen Logik
Bằng: Hilbert, David
Được phát hành: (1972)

Harvey Friedman's research on the foundations of mathematics /
Bằng: Harrington, L. A.ed
Được phát hành: (1985)

Introduction to the philosophy of mathematics /
Bằng: Lehman, Hugh
Được phát hành: (1979)

What is mathematics, really? /
Bằng: Hersh, Reuben
Được phát hành: (1997)

Philosophy of mathematics : an introductory essay /
Bằng: Korner, Stephan
Được phát hành: (1986)

Principles of mathematics revisited /
Bằng: Hintikka, Jaakko
Được phát hành: (1996)

Principia mathematica. V. 1.- 2nd ed.
Bằng: Whitehead, Alfred North
Được phát hành: (1927)

A concise introduction to mathematical logic /
Bằng: Rautenberg, Wolfgang
Được phát hành: (2010)

Principia mathematica. V.2 .- 2nd ed.
Bằng: Whitehead, Alfred North
Được phát hành: (1927)

Principia mathematica. V 3.- 2nd ed.
Bằng: Whitehead, Alfred North
Được phát hành: (1927)

Papers in philosophical logic /
Bằng: Lewis, David K.
Được phát hành: (1998)

Logic and knowledge : essays, 1901-1950 /
Bằng: Russell, Bertrand
Được phát hành: (1956)

Mathematical logic /
Bằng: Kleene, Stephen Cole
Được phát hành: (2002)

Proofs and refutations : the logic of mathematical discovery /
Bằng: Lakatos, Imre
Được phát hành: (1976)

Classical theory of first order logic
Bằng: Pampapathy Rao, A; Author
Được phát hành: (1970)

Classical theory of first order logic
Bằng: Pampapathy Rao, A; Author
Được phát hành: (1970)

Profile of mathematical logic
Bằng: Delong, Horward
Được phát hành: (1970)

Logic collequium 2007
Bằng: Francoise Delon (ed.)
Được phát hành: (2010)

A textbook of logic
Bằng: Krishna Jain; Author
Được phát hành: (2009)

Introduction to mathematical logic /
Bằng: Mendelson, Elliott
Được phát hành: (2010)

Logical forms : an introduction to philosophical logic /
Bằng: Sainsbury, R. M.
Được phát hành: (1991)

Logic with trees : an introduction to symbolic logic /
Bằng: Howson, Colin
Được phát hành: (1997)

Introduction to mathematical logic /
Bằng: Mendelson, Elliott
Được phát hành: (1964)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1973)

Introduction to symbolic logic /
Bằng: Basson, A. H., et al.
Được phát hành: (1976)

Introduction to symbolic logic /
Bằng: Carney, James D.
Được phát hành: (1970)

Introduction to symbolic logic /
Bằng: Basson, A. H., et al.
Được phát hành: (1976)

A precis of mathematical logic /
Bằng: Bochenski, Joseph M.
Được phát hành: (1959)

Foundations of the logical theory of scientific knowledge (complex logic) /
Bằng: Zinoviev, Aleksandr
Được phát hành: (1973)

Course of mathematical logic /
Bằng: Fraïssé, Roland
Được phát hành: (1973)

An outline of mathematical logic : fundamental results and notions explained with all details /
Bằng: Grzegorczyk, Andrzej
Được phát hành: (1974)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
Bằng: Beth, Evert W.
Được phát hành: (1962)

A profile of mathematical logic /
Bằng: DeLong, Howard
Được phát hành: (1970)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1979)

Logical investigations /
Bằng: Frege, Gottlob
Được phát hành: (1977)

An introduction to symbolic logic /
Bằng: Langer, Susanne K.
Được phát hành: (1967)

Foundations of mathematical logic /
Bằng: Curry, Haskell B.
Được phát hành: (1977)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (2015)