Lanean...

QR Kodea

Principles of mathematics revisited /

other_versions_link

Xehetasun bibliografikoak
Egile nagusia:	Hintikka, Jaakko
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Cambridge ; New York : Cambridge University Press, 1996.
Gaiak:	Mathematics > Philosophy. First-order logic.

Antzeko izenburuak

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

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

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

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

Metalogic : an introduction to the metatheory of standard first order logic /
nork: Hunter, Geoffrey
Argitaratua: (1971)

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

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

Law of transfer of property /6th ed.
nork: Sarathi, Vepa P.
Argitaratua: (2017)

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

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

Independence-friendly logic : a game-theoretic approach /
nork: Mann, Allen L., et al.
Argitaratua: (2011)

Independence - friendly logic :a game- theoretic approach
nork: Allen L Mann
Argitaratua: (2011)

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

Simple theories and hyperimaginaries /
nork: Casanovas, Enrique
Argitaratua: (2011)

Essay on the psychology of invention in the mathematical field /
nork: Hadamard, Jacques
Argitaratua: (1954)

Logic for computer science and artificial intelligence
nork: Caferra, Ricardo
Argitaratua: (2011)

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

Language, truth and logic in mathematics
nork: Jaakko Hintikka
Argitaratua: (1998)

Models for modalities : selected essays /
nork: Hintikka, Jaakko
Argitaratua: (1969)

Philosophy of arithmetic : psychological and logical investigations : with supplementary texts from 1887-1901 /
nork: Husserl, Edmund
Argitaratua: (2003)

Basic circuit theory
nork: Huelsman, Lawrence P
Argitaratua: (2011)

Thermodynamics and an Introduction to Thermostatistics
nork: Callen,Herbert.B
Argitaratua: (1985)

Logical positivism revisited
nork: Srinivas Kunchapudi
Argitaratua: (2011)

Meditations on first philosophy : with selections from the objections and replies /
nork: Descartes, Rene
Argitaratua: (2017)

Meditations on first philosophy : with selections from the Objections and replies /
nork: Descartes, René, 1596-1650
Argitaratua: (2017)

Information security management :concepts and practice
nork: Raggad, Bel G
Argitaratua: (2010)

Outline of mathematical logic : Fundamental results and notions explained with all details /
nork: Grzegorczyk, Andrzej
Argitaratua: (1969)

Differential Equations
nork: Reddick,Harry W and Kibbey,Donald E.
Argitaratua: (1956)

Differential Equations
nork: Morris,Max and Brown,Orley E.
Argitaratua: (1956)

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

Lingua universalis vs. calculus ratiocinator : an ultimate presupposition of twentieth century philosophy
nork: Jaakko Hintikka
Argitaratua: (1997)

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

Ludwig Wittgenstein : half truths and one-and-a-half-truths
nork: Jaakko Hintikka
Argitaratua: (1996)

Analyses of Aristotle
nork: Jaakko Hintikka
Argitaratua: (2004)

Mathematical logic
nork: Kleene, Stephen Cole
Argitaratua: (1967)

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

Mathematical logic /
nork: Chiswell, Ian
Argitaratua: (2007)

Mathematical Logic
nork: Ershov,Yu.L
Argitaratua: (1984)

Mathematical logic
nork: Monk, J.D
Argitaratua: (1976)

Mathematical logic.
nork: Shoenfield
Argitaratua: (1967)