Lanean...

QR Kodea

Proofs and refutations : the logic of mathematical discovery /

other_versions_link

Xehetasun bibliografikoak
Egile nagusia:	Lakatos, Imre
Beste egile batzuk:	Worrall, John, ed, Zahar, Elie ,ed
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Cambridge ; New York : Cambridge University Press, 1976.
Gaiak:	Mathematics > Philosophy. Logic, Symbolic and mathematical.

Antzeko izenburuak

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

Grundlagen der Mathematik.v.1
nork: Hilbert, David
Argitaratua: (1968)

Grundlagen der Mathematik.v.2
nork: Hilbert, David
Argitaratua: (1970)

Introduction to the philosophy of mathematics /
nork: Lehman, Hugh
Argitaratua: (1979)

What is mathematics, really? /
nork: Hersh, Reuben
Argitaratua: (1997)

Philosophy of mathematics : an introductory essay /
nork: Korner, Stephan
Argitaratua: (1986)

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

A transition to mathematics with proofs /
nork: Cullinane, Michael J.
Argitaratua: (2013)

Introduction to mathematical structures and proofs /
nork: Gerstein, Larry J.
Argitaratua: (2012)

Principles of mathematics revisited /
nork: Hintikka, Jaakko
Argitaratua: (1996)

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

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

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

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

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)

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)

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

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

Logic in elementary mathematics /
nork: Exner, Robert M., et al.
Argitaratua: (2011)

Mathematical logic for computer science /
Argitaratua: (2008)

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

The Oxford handbook of philosophy of mathematics and logic
nork: Shapiro, Stewart; Editor
Argitaratua: (2005)

Logic and knowledge : essays, 1901-1950 /
nork: Russell, Bertrand
Argitaratua: (1956)

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

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

Logic collequium 2007
nork: Francoise Delon (ed.)
Argitaratua: (2010)

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

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