The search for certainty a philosophical account of foundations of mathematics

The search for certainty a philosophical account of foundations of mathematics

Bibliographic Details
Main Author:	Gianquinto, M. ((Marcus)) (Author)
Format:	Book
Language:	English
Published:	Oxford Clarendon Press 2002
Subjects:	Μαθηματικά > Φιλοσοφία Λογική, Συμβολική και μαθηματική

Similar Items

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1976)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1981)

A formalization of set theory without variables
by: Tarski, Alfred
Published: (1987)

A guide to classical and modern model theory
by: Marcja, A. ((Annalisa)), et al.
Published: (2003)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by: Gödel, Kurt
Published: (1940)

Introduction to Logic and to the methology of deductive sciences
by: Tarski, Alfred
Published: (1965)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

The principles of mathematics revisited
by: Hintikka, Jaakko, 1929-
Published: (1998)

From here to infinity
by: Stewart, Ian, 1945-
Published: (1996)

An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities /
by: Boole, George 1815-1864
Published: (1958)

Logic for physicists /
by: Pereyra, Nicolas A.
Published: (2018)

Το θεώρημα του Godel
by: Nagel, Ernest 1901-1985
Published: (1997)

Το αίτημα της ελάχιστης αντίφασης μια σύμβαση επικοινωνιακής συνέπειας με εφαρμογή στη φιλοσοφία την επιστήμη και την πολιτική
by: Νασίκας, Αθανάσιος Αν
Published: (1997)

Synthese subjective ou Systeme universele des conceptions propres a l'etat normal de l'humanite
by: Comte, Auguste, 1798-1857
Published: (2000)

Foundations of abstract mathematics
by: Kurtz, David C.
Published: (1992)

Φιλοσοφικές παρατηρήσεις /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1993)

Papers in philosophical logic
by: Lewis, David K. (David Kellogg), 1941-2001
Published: (1998)

The divine proportion a study in mathematical beauty
by: Huntley, H. E.
Published: (1970)

Computability and logic
by: Boolos, George S.
Published: (2002)

Four colours suffice how the map problem was solved
by: Wilson, Robin J.
Published: (2002)

Τα θεμέλια των μαθηματικών /
by: Stewart, Ian, 1945-
Published: (2020)

Mathematical logic and the foundations of mathematics : an introductory survey /
by: Kneebone, G. T.
Published: (1963)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: Keisler, H. Jerome
Published: (1971)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Published: (1977)

Computability and unsolvability
by: Davis, Martin, 1928-
Published: (1982)

Model-theoretic logics
Published: (1985)

Logic and discrete mathematics a computer science perspective
by: Grassmann, Winfried Karl
Published: (1996)

Εισαγωγή στην υπολογιστική
by: Τουρλάκης, Γιώργος
Published: (1994)

Φιλοσοφική γραμματική /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1994)

Discrete mathematics mathematical reasoning and proof with puzzles, patterns and games
by: Ensley, Douglas E.
Published: (2006)

Mathematical logic for computer science
by: Mordechai, Ben-Ari
Published: (2001)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)

Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Godel
Published: (1969)

The continuum and other types of serial order
by: Huntington, Edward V.
Published: (1917)

Ασαφή δίκτυα Petri
by: Κυρίτσης, Χαρίλαος
Published: (2008)

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Published: (1997)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

Foundations of mathematical logic
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1977)

Mathematical logic a course with exercises
by: Cori, Rene

A course in mathematical logic for mathematicians /
by: Manin, IU I.
Published: (1977)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών