Llwytho...

Côd QR

Principles of mathematics revisited /

other_versions_link

Manylion Llyfryddiaeth
Prif Awdur:	Hintikka, Jaakko
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Cambridge ; New York : Cambridge University Press, 1996.
Pynciau:	Mathematics > Philosophy. First-order logic.

Eitemau Tebyg

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

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

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

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

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

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

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

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

Grundlagen der Mathematik.v.1
gan: Hilbert, David
Cyhoeddwyd: (1968)

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

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

Independence - friendly logic :a game- theoretic approach
gan: Allen L Mann
Cyhoeddwyd: (2011)

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

Simple theories and hyperimaginaries /
gan: Casanovas, Enrique
Cyhoeddwyd: (2011)

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

Logic for computer science and artificial intelligence
gan: Caferra, Ricardo
Cyhoeddwyd: (2011)

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

Language, truth and logic in mathematics
gan: Jaakko Hintikka
Cyhoeddwyd: (1998)

Models for modalities : selected essays /
gan: Hintikka, Jaakko
Cyhoeddwyd: (1969)

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

Basic circuit theory
gan: Huelsman, Lawrence P
Cyhoeddwyd: (2011)

Thermodynamics and an Introduction to Thermostatistics
gan: Callen,Herbert.B
Cyhoeddwyd: (1985)

Logical positivism revisited
gan: Srinivas Kunchapudi
Cyhoeddwyd: (2011)

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

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

Information security management :concepts and practice
gan: Raggad, Bel G
Cyhoeddwyd: (2010)

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

Differential Equations
gan: Reddick,Harry W and Kibbey,Donald E.
Cyhoeddwyd: (1956)

Differential Equations
gan: Morris,Max and Brown,Orley E.
Cyhoeddwyd: (1956)

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

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

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

Ludwig Wittgenstein : half truths and one-and-a-half-truths
gan: Jaakko Hintikka
Cyhoeddwyd: (1996)

Analyses of Aristotle
gan: Jaakko Hintikka
Cyhoeddwyd: (2004)

Mathematical logic
gan: Kleene, Stephen Cole
Cyhoeddwyd: (1967)

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

Mathematical logic /
gan: Chiswell, Ian
Cyhoeddwyd: (2007)

Mathematical Logic
gan: Ershov,Yu.L
Cyhoeddwyd: (1984)

Mathematical logic
gan: Monk, J.D
Cyhoeddwyd: (1976)

Mathematical logic.
gan: Shoenfield
Cyhoeddwyd: (1967)