Το αίτημα της ελάχιστης αντίφασης μια σύμβαση επικοινωνιακής συνέπειας με εφαρμογή στη φιλοσοφία την επιστήμη και την πολιτική

Το αίτημα της ελάχιστης αντίφασης μια σύμβαση επικοινωνιακής συνέπειας με εφαρμογή στη φιλοσοφία την επιστήμη και την πολιτική

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Νασίκας, Αθανάσιος Αν
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Αθήνα Τροχαλία 1997
Θέματα:	Θεώρημα του Godel Μαθηματικά > Φιλοσοφία Λογική, Συμβολική και μαθηματική

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

Godel's incompleteness theorems
ανά: Smullyan, Raymond M.
Έκδοση: (1992)

Metamathematics, machines, and Godel's proof /
ανά: Shankar, N.
Έκδοση: (1997)

Mathematical logic and its applications /
Έκδοση: (1987)

Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965)

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

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

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

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

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

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

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

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

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

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

Από την παράνοια στους αλγόριθμους : η "Δέκατη έβδομη νύχτα" και άλλες διαδρομές /
ανά: Δοξιάδης, Απόστολος, 1953-
Έκδοση: (2009)

Στοιχεία μαθηματικής λογικής
ανά: Τζουβάρας, Αθανάσιος
Έκδοση: (1992)

Στοιχεία μαθηματικής λογικής /
ανά: Τζουβάρας, Αθανάσιος
Έκδοση: (1998)

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

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

Mathematical logic a course with exercises
ανά: Cori, Rene

The classical decision problem /
ανά: Boerger, Egon, 1946-
Έκδοση: (1997)

Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (2000)

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

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1990)

Theory of symmetric lattices /
ανά: Maeda, Fumitomo, 1897-1965
Έκδοση: (1970)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1965)

Nomological statements and admissible operations /
ανά: Reichenbach, Hans, 1891-1953
Έκδοση: (1954)

Solvable cases of the decision problem /
ανά: Ackermann, W. (Wilhelm), 1896-
Έκδοση: (1954)

Mathematical interpretation of formal systems /
Έκδοση: (1955)

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

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
ανά: Mostowski, Andrzej
Έκδοση: (1964)

Mathematics the study of axiom systems
ανά: Witter, G. E.
Έκδοση: (1964)

Εισαγωγή στη μαθηματική λογική
ανά: Δρόσος, Κώστας Α., κ.ά.
Έκδοση: (2000)

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

Στοιχειώδεις έννοιες από τα μαθηματικά και τη λογική
ανά: Παπαδοπετράκης, Ευτύχης
Έκδοση: (1999)

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

Sets, logic, and axiomatic theories
ανά: Stoll, Robert R.
Έκδοση: (1961)

Journey into mathematics an introduction to proofs
ανά: Rotman, Joseph J., 1934-
Έκδοση: (1998)

Basic model theory
ανά: Doets, Kees
Έκδοση: (1996)

Logic of mathematics a modern course of classical logic
ανά: Adamowicz, Zofia
Έκδοση: (1997)

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