Introduction to Logic and to the methology of deductive sciences

Introduction to Logic and to the methology of deductive sciences

Bibliographic Details
Main Author:	Tarski, Alfred
Format:	Book
Language:	English
Published:	New York A Galaxy Book 1965
Subjects:	Λογική, Συμβολική και μαθηματική Μαθηματικά > Φιλοσοφία

Similar Items

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

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

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

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)

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)

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

The search for certainty a philosophical account of foundations of mathematics
by: Gianquinto, M. ((Marcus))
Published: (2002)

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)

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

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

Το θεώρημα του 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)

Logic, semantics, metamathematics papers from 1923 to 1938
by: Tarski, Alfred
Published: (1956)

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

Introduction to logic
by: Suppes, Patrick 1922-2014
Published: (1957)

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

Ordinal algebras /
by: Tarski, Alfred
Published: (1956)

Logique, semantique, metamathematique 1923-1944
by: Tarski, Alfred
Published: (1972)

Model-theoretic logics
Published: (1985)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)

Introduction to symbolic logic
by: Basson, A. H.
Published: (1959)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1997)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1987)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (1979)

Introduction to mathematical logic /
by: Hermes, Hans
Published: (1973)

An introduction to symbolic logic /
by: Langer, Susanne Katherina Knauth, 1895-1985
Published: (1967)

Introduction to combinatory logic /
by: Hindley, J. Roger
Published: (1972)

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

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

Theory of Deductive Systems and Its Applications
by: Maslov, S. Y.
Published: (1987)

An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-
Published: (1975)

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

Introduction to elementary mathematical logic /
by: Stoli︠a︡r, A. A. (Abram Aronovich)
Published: (1984)

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

Logic for mathematics and computer science
by: Burris, Stanley N.
Published: (1998)

Logic, methodology and philosophy of science
Published: (1962)

Logic and algebra /
Published: (2002)

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)

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