Introduction to Logic and to the methology of deductive sciences

Introduction to Logic and to the methology of deductive sciences

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tarski, Alfred
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York A Galaxy Book 1965
Θέματα:	Λογική, Συμβολική και μαθηματική Μαθηματικά > Φιλοσοφία

Παρόμοια τεκμήρια

A formalization of set theory without variables
ανά: Tarski, Alfred
Έκδοση: (1987)

Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001)

Logic for physicists /
ανά: Pereyra, Nicolas A.
Έκδοση: (2018)

Proofs and refutations the logic of mathematical discovery
ανά: Lakatos, Imre
Έκδοση: (1981)

Proofs and refutations the logic of mathematical discovery
ανά: Lakatos, Imre
Έκδοση: (1976)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
ανά: Gödel, Kurt
Έκδοση: (1940)

The search for certainty a philosophical account of foundations of mathematics
ανά: Gianquinto, M. ((Marcus))
Έκδοση: (2002)

A guide to classical and modern model theory
ανά: Marcja, A. ((Annalisa)), κ.ά.
Έκδοση: (2003)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
ανά: Boole, George 1815-1864
Έκδοση: (1958)

From here to infinity
ανά: Stewart, Ian, 1945-
Έκδοση: (1996)

The principles of mathematics revisited
ανά: Hintikka, Jaakko, 1929-
Έκδοση: (1998)

Το θεώρημα του Godel
ανά: Nagel, Ernest 1901-1985
Έκδοση: (1997)

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

Synthese subjective ou Systeme universele des conceptions propres a l'etat normal de l'humanite
ανά: Comte, Auguste, 1798-1857
Έκδοση: (2000)

Logic, semantics, metamathematics papers from 1923 to 1938
ανά: Tarski, Alfred
Έκδοση: (1956)

Computability and logic
ανά: Boolos, George S.
Έκδοση: (2002)

Introduction to logic
ανά: Suppes, Patrick 1922-2014
Έκδοση: (1957)

Ordinal algebras /
ανά: Tarski, Alfred
Έκδοση: (1956)

Logique, semantique, metamathematique 1923-1944
ανά: Tarski, Alfred
Έκδοση: (1972)

Introduction to symbolic logic
ανά: Basson, A. H.
Έκδοση: (1959)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1964)

Introduction to mathematical logic /
ανά: Mendelson, Elliott
Έκδοση: (1979)

Introduction to mathematical logic /
ανά: Hermes, Hans
Έκδοση: (1973)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1997)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1987)

An introduction to symbolic logic /
ανά: Langer, Susanne Katherina Knauth, 1895-1985
Έκδοση: (1967)

Introduction to combinatory logic /
ανά: Hindley, J. Roger
Έκδοση: (1972)

Mathematical logic for computer science
ανά: Mordechai, Ben-Ari
Έκδοση: (2001)

Theory of Deductive Systems and Its Applications
ανά: Maslov, S. Y.
Έκδοση: (1987)

Model-theoretic logics
Έκδοση: (1985)

An algebraic introduction to mathematical logic /
ανά: Barnes, D. W. (Donald W.), 1935-
Έκδοση: (1975)

Introduction to elementary mathematical logic /
ανά: Stoli︠a︡r, A. A. (Abram Aronovich)
Έκδοση: (1984)

A mathematical introduction to logic /
ανά: Enderton, Herbert B.
Έκδοση: (2001)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
ανά: Keisler, H. Jerome
Έκδοση: (1971)

Logic, methodology and philosophy of science
Έκδοση: (1962)

Logic for mathematics and computer science
ανά: Burris, Stanley N.
Έκδοση: (1998)

Introduction to mathematical logic. Vol. 1
ανά: Church, Alonzo
Έκδοση: (1956)

Introduction to symbolic logic and its applications /
ανά: Carnap, Rudolf, 1891-1970
Έκδοση: (1958)

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Έκδοση: (1997)

Papers in philosophical logic
ανά: Lewis, David K. (David Kellogg), 1941-2001
Έκδοση: (1998)

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