-
3
-
-
34347183869
-
Die Antinomien und die Unvollständingkeit der Mathematik
-
CARNAP, R. 1934, "Die Antinomien und die Unvollständingkeit der Mathematik", Monatshefte für Mathematik und Physik 41, PP. 263-284.
-
(1934)
Monatshefte für Mathematik und Physik
, vol.41
, pp. 263-284
-
-
CARNAP, R.1
-
6
-
-
0003714737
-
-
Raven Press, Hewlett, NY
-
DAVIS, M. (ed.) 1965, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press, Hewlett, NY.
-
(1965)
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
-
-
DAVIS, M.1
-
7
-
-
0012220097
-
Kurt Gödel: Conviction and Caution
-
repr. in Feferman 1998, pp. 150-164
-
FEFERMAN, S. 1984, "Kurt Gödel: Conviction and Caution", Philosophia Naturalis 21, pp. 546-562; repr. in Feferman 1998, pp. 150-164.
-
(1984)
Philosophia Naturalis
, vol.21
, pp. 546-562
-
-
FEFERMAN, S.1
-
9
-
-
84866498425
-
Tarski and Gödel: Between the Lines
-
FEFERMAN, S. 1999, "Tarski and Gödel: Between the Lines", in Woleński and Köhler 1999, pp. 53-63.
-
(1999)
Woleński and Köhler 1999
, pp. 53-63
-
-
FEFERMAN, S.1
-
11
-
-
0003913615
-
-
Publications 1929-1936, ed. S. Feferman et al, Oxford University Press, Oxford
-
GÖDEL, K. 1986, Collected Works Volume 1, Publications 1929-1936, ed. S. Feferman et al., Oxford University Press, Oxford.
-
(1986)
Collected Works
, vol.1
-
-
GÖDEL, K.1
-
12
-
-
0003913615
-
-
Unpublished Essays and Lectures, ed. by S. Feferman et al, Oxford University Press, Oxford
-
GÖDEL, K. 1995, Collected Works Volume III, Unpublished Essays and Lectures, ed. by S. Feferman et al., Oxford University Press, Oxford.
-
(1995)
Collected Works
, vol.3
-
-
GÖDEL, K.1
-
13
-
-
33745596937
-
-
ed. by S. Feferman et al., Oxford University Press, Oxford
-
GÖDEL, K. 2003, Collected Works Volume IV, Correspondence A-G, ed. by S. Feferman et al., Oxford University Press, Oxford.
-
(2003)
Collected Works IV, Correspondence A-G
-
-
GÖDEL, K.1
-
14
-
-
0000829056
-
In Memoriam Kurt Gödel: His 1931 Correspondence with Zermelo on His Incompletability Theorem
-
Gödel, pp. 420-431
-
GRATTAN-GUINESS, I. 1979, "In Memoriam Kurt Gödel: His 1931 Correspondence with Zermelo on His Incompletability Theorem", Historia Mathematica 6, 294-304; the correspondence is reprinted in Gödel 2003a, pp. 420-431.
-
(1979)
Historia Mathematica
, vol.6
, pp. 294-304
-
-
GRATTAN-GUINESS, I.1
-
16
-
-
60950367174
-
Defining Truth, The Whole Truth and Nothing but the Truth
-
University of Helsinki, no. 2, Helisnki; repr. in Hintikka 1997
-
HINTIKKA, J. 1991, Defining Truth, The Whole Truth and Nothing but the Truth, Reports from the Department of Philosophy, University of Helsinki, no. 2, Helisnki; repr. in Hintikka 1997, pp. 46-103.
-
(1991)
Reports from the Department of Philosophy
, pp. 46-103
-
-
HINTIKKA, J.1
-
18
-
-
19144373283
-
-
Wadsworth Publishing Company, Florence, KY
-
HINTIKKA, J. 2002, On Gödel, Wadsworth Publishing Company, Florence, KY.
-
(2002)
On Gödel
-
-
HINTIKKA, J.1
-
19
-
-
79954688652
-
Gödel und Wiener Kreis
-
Weibel et al. 2002, B. 1
-
KÖHLER, E. 2002, "Gödel und Wiener Kreis", in Köhler, Weibel et al. 2002, B. 1.
-
(2002)
Köhler
-
-
KÖHLER, E.1
-
20
-
-
0013104636
-
Gödel Excursions into Intutionistic Logic
-
ed. by P. Weingartner and L. Schmetterer, Bibliopolis, Napoli
-
KREISEL, G. 1987, "Gödel Excursions into Intutionistic Logic", in Gödel Remembered, ed. by P. Weingartner and L. Schmetterer, Bibliopolis, Napoli, pp. 65-85.
-
(1987)
Gödel Remembered
, pp. 65-85
-
-
KREISEL, G.1
-
23
-
-
2342468884
-
Undefinability of Truth. The Problem of Priority: Tarski vs. Gödel
-
MURAWSKI, R. 1998, "Undefinability of Truth. The Problem of Priority: Tarski vs. Gödel", History and Philosophy of Logic 19, pp. 153-160.
-
(1998)
History and Philosophy of Logic
, vol.19
, pp. 153-160
-
-
MURAWSKI, R.1
-
24
-
-
79955362676
-
Undefinability vs. Definability of Satisfaction and Truth
-
MURAWSKI, R. 1999, "Undefinability vs. Definability of Satisfaction and Truth", in Woleński and Köhler 1999, pp. 213-215.
-
(1999)
Woleński and Köhler 1999
, pp. 213-215
-
-
MURAWSKI, R.1
-
27
-
-
2342612583
-
O pojeciu prawdy w odniesieniu do sformalizowanych teorii dedukcyjnych (On the Concept of Truth in Formalized Languages of Deductive Sciences)
-
TARSKI, A. 1930-31, "O pojeciu prawdy w odniesieniu do sformalizowanych teorii dedukcyjnych" (On the Concept of Truth in Formalized Languages of Deductive Sciences), Ruch Filozoficzny XII, pp. 210-211.
-
(1930)
Ruch Filozoficzny
, vol.12
, pp. 210-211
-
-
TARSKI, A.1
-
29
-
-
0003792011
-
On Undecidable Sentences in Enlarged Systems of Logic and the Concept of Truth
-
TARSKI, A. 1939, "On Undecidable Sentences in Enlarged Systems of Logic and the Concept of Truth", The Journal of Symbolic Logic 4, no 3, pp. 105-112.
-
(1939)
The Journal of Symbolic Logic
, vol.4
, Issue.3
, pp. 105-112
-
-
TARSKI, A.1
-
30
-
-
0001511816
-
The Semantics Definition of Truth and the Foundations of Semantics
-
TARSKI, A. 1944, "The Semantics Definition of Truth and the Foundations of Semantics", Philosophy and Phenomenological Research 4, pp. 341-375.
-
(1944)
Philosophy and Phenomenological Research
, vol.4
, pp. 341-375
-
-
TARSKI, A.1
-
32
-
-
0004238871
-
-
North-Holland Publishing Company, Amsterdam
-
TARSKI, A., MOSTOWSKI, A. and ROBINSON, R. 1953, Undecidable Theories, North-Holland Publishing Company, Amsterdam.
-
(1953)
Undecidable Theories
-
-
TARSKI, A.1
MOSTOWSKI, A.2
ROBINSON, R.3
-
37
-
-
1642329489
-
Tarski as a Philosopher
-
ed. by F. Coniglione, R. Poli, and J. Woleński, Rodopi, Amsterdam, pp
-
WOLEŃSKI, J. 1993a, "Tarski as a Philosopher", in Polish Scientific Philosophy: The Lvov-Warsaw School, ed. by F. Coniglione, R. Poli, and J. Woleński, Rodopi, Amsterdam, pp. 319-338.
-
(1993)
Polish Scientific Philosophy: The Lvov-Warsaw School
, pp. 319-338
-
-
WOLEŃSKI, J.1
-
38
-
-
79954796668
-
Theories of Truth in Austrian Philosophy
-
repr. in Woleński 1999, pp. 150-175
-
WOLEŃSKI, J. 1998, "Theories of Truth in Austrian Philosophy", Reports on Philosophy 18, pp. 13-49; repr. in Woleński 1999, pp. 150-175.
-
(1998)
Reports on Philosophy
, vol.18
, pp. 13-49
-
-
WOLEŃSKI, J.1
-
39
-
-
85032218856
-
Semantic Revolution-Rudolf Carnap, Kurt Gödel, Alfred Tarski
-
WOLEŃSKI, J. 1999, "Semantic Revolution-Rudolf Carnap, Kurt Gödel, Alfred Tarski", in Woleński and Köhler 1999, pp. 1-15.
-
(1999)
Woleński and Köhler 1999
, pp. 1-15
-
-
WOLEŃSKI, J.1
-
42
-
-
1642324707
-
De Veritate: Austro-Polish Contributions to the Theory of Truth from Brentano to Tarski
-
ed. by K. Szaniawski, Kluwer Academic Publishers, Dordrecht, pp
-
WOLEŃSKI, J. and SIMONS, P. 1989, "De Veritate: Austro-Polish Contributions to the Theory of Truth from Brentano to Tarski", in The Vienna Circle and the Lvov-Warsaw School, ed. by K. Szaniawski, Kluwer Academic Publishers, Dordrecht, pp. 391-442.
-
(1989)
The Vienna Circle and the Lvov-Warsaw School
, pp. 391-442
-
-
WOLEŃSKI, J.1
SIMONS, P.2
|