-
4
-
-
0033248801
-
'Unifying Threads in Alfred Tarski's Work'
-
Givant, Steven: 1999, 'Unifying Threads in Alfred Tarski's Work', The Mathematical Intelligencer 21(1), 47-58.
-
(1999)
The Mathematical Intelligencer
, vol.21
, Issue.1
, pp. 47-58
-
-
Givant, S.1
-
6
-
-
84866509019
-
-
(eds.), American Mathematical Society, Providence, R.I
-
Henkin, Leon et al. (eds.): 1974, Proceedings of the Tarski Symposium (Proceedings of Symposia in Pure Mathematics, Vol. XXV), American Mathematical Society, Providence, R.I.
-
(1974)
Proceedings of the Tarski Symposium (Proceedings of Symposia In Pure Mathematics
, vol.25
-
-
Henkin, L.1
-
7
-
-
0004103902
-
-
Amsterdam: 1985, Part II
-
Henkin, Leon, J. Donald Monk, and Alfred Tarski: 1971, Cylindrical Algebras, Part I, North-Holland, Amsterdam: 1985, Part II, ibid.
-
(1971)
Cylindrical Algebras, Part I, North-Holland
-
-
Henkin, L.1
Donald, M.J.2
Tarski, A.3
-
8
-
-
0004224053
-
-
2nd edn, Teubner, Leipzig. (First edition, 1899, does not contain the crucial axiom
-
Hilbert, David: 1903, Grundlagen der Geometrie, 2nd edn, Teubner, Leipzig. (First edition, 1899, does not contain the crucial axiom.)
-
(1903)
Grundlagen Der Geometrie
-
-
Hilbert, D.1
-
9
-
-
1542400628
-
Independence-Friendly Logic and Axiomatic Set Theory
-
Hintikka, Jaakko: 2004(a), 'Independence-Friendly Logic and Axiomatic Set Theory', Annals of Pure and Applied Logic 126, 313-333.
-
(2004)
Annals of Pure and Applied Logic
, vol.126
, pp. 313-333
-
-
Hintikka, J.1
-
10
-
-
84866509020
-
On the Different Identities of Identity: A Historical and Critical Essay
-
Guttorm Fløistad (ed, Kluwer Academic Publishers, Dordrecht
-
Hintikka, Jaakko: 2004(b), 'On the Different Identities of Identity: A Historical and Critical Essay', in Guttorm Fløistad (ed.), Language, Meaning, Interpretation, Kluwer Academic Publishers, Dordrecht, pp. 117-139.
-
(2004)
Language, Meaning, Interpretation
, pp. 117-139
-
-
Hintikka, J.1
-
11
-
-
84937337225
-
Post-Tarskian Truth
-
Hintikka, Jaakko: 2001A, 'Post-Tarskian Truth', Synthese 125, 17-36.
-
(2001)
Synthese
, vol.125
, pp. 17-36
-
-
Hintikka, J.1
-
12
-
-
84866485700
-
The Proper Treatment of Quantifiers in Ordinary Logic
-
Ghita Holmström-Hintikka, Sten Lindström, and Rysiek Slivinski (eds, Kluwer Academic, Dordrecht
-
Hintikka, Jaakko: 2001B, 'The Proper Treatment of Quantifiers in Ordinary Logic', in Ghita Holmström-Hintikka, Sten Lindström, and Rysiek Slivinski (eds.), Collected Papers of Stig Kanger, with Essays on His Life and Work, Vol. II, Kluwer Academic, Dordrecht, pp. 87-95.
-
(2001)
Collected Papers of Stig Kanger, With Essays On His Life and Work
, vol.2
, pp. 87-95
-
-
Hintikka, J.1
-
13
-
-
0032148334
-
'Truth-Definitions, Skolem Functions and Axiomatic Set Theory'
-
Hintikka, Jaakko: 1998, 'Truth-Definitions, Skolem Functions and Axiomatic Set Theory', Bulletin for Symbolic Logic 4, 303-337.
-
(1998)
Bulletin For Symbolic Logic
, vol.4
, pp. 303-337
-
-
Hintikka, J.1
-
15
-
-
0001937939
-
'Game-Theoretical Semantics'
-
Johan van Benthem and Alice ter Meulen (eds, Elsevier, Amsterdam
-
Hintikka, Jaakko and Gabriel Sandu, 1997, 'Game-Theoretical Semantics', in Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, pp. 361-410.
-
(1997)
Handbook of Logic and Language
, pp. 361-410
-
-
Hintikka, J.1
Sandu, G.2
-
17
-
-
0001604589
-
'Compositional Semantics for a Language of Imperfect Information'
-
Hodges, Wilfrid: 1997a, 'Compositional Semantics for a Language of Imperfect Information', Journal of JPGL 5, 539-563.
-
(1997)
Journal of JPGL
, vol.5
, pp. 539-563
-
-
Hodges, W.1
-
18
-
-
0007389725
-
'Some Strange Quantifiers'
-
J. Mycielski et al., (eds.), Springer, Berlin
-
Hodges, Wilfrid: 1997b, 'Some Strange Quantifiers', in J. Mycielski et al., (eds.), Structures in Logic and Computer Science (Lecture Notes in Computer Science), Vol. 1261, Springer, Berlin, pp. 51-65.
-
(1997)
Structures In Logic and Computer Science (Lecture Notes In Computer Science)
, vol.1261
, pp. 51-65
-
-
Hodges, W.1
-
20
-
-
0001521953
-
'Boolean Algebras with Operators, Part I'
-
Also in Tarski 1986, Vol. 3, pp. 369-419
-
Jónsson, Bjarni and Alfred Tarski: 1951, 'Boolean Algebras with Operators, Part I', American Journal of Mathematics 73, 891-939. Also in Tarski 1986, Vol. 3, pp. 369-419.
-
(1951)
American Journal of Mathematics
, vol.73
, pp. 891-939
-
-
Jónsson, B.1
Tarski, A.2
-
21
-
-
0001318162
-
'Boolean Algebras and Operators, Part II'
-
Also in Tarski 1986, Vol. 3, pp. 421-458
-
Jónsson, Bjarni and Alfred Tarski: 1952, 'Boolean Algebras and Operators, Part II', Ibid. 74, 127-162. Also in Tarski 1986, Vol. 3, pp. 421-458.
-
(1952)
, vol.74
, pp. 127-162
-
-
Jónsson, B.1
Tarski, A.2
-
26
-
-
84866491521
-
Drei Briefe and Otto Neurath'
-
Rudolf Haller and Jan Tarski (eds
-
Tarski, Alfred: 1992, 'Drei Briefe and Otto Neurath', in Rudolf Haller and Jan Tarski (eds.), Grazer Philosophische Studien, Vol. 43, pp. 11-32.
-
(1992)
Grazer Philosophische Studien
, vol.43
, pp. 11-32
-
-
Tarski, A.1
-
27
-
-
0009888176
-
A Philosophical Letter of Alfred Tarski
-
with a prefatory note by Morton White
-
Tarski, Alfred: 1987, 'A Philosophical Letter of Alfred Tarski', with a prefatory note by Morton White, The Journal of Philosophy 84, 28-32.
-
(1987)
The Journal of Philosophy
, vol.84
, pp. 28-32
-
-
Tarski, A.1
-
30
-
-
0001380310
-
'Wahrheitsbegriff in den formalisierten Sprachen'
-
Reprinted in Tarski 1986, Vol. 2, pp. 51-198. English translation in Tarski 1956, pp. 152-278
-
Tarski, Alfred: 1935, 'Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophica 1, 261-405. Reprinted in Tarski 1986, Vol. 2, pp. 51-198. English translation in Tarski 1956, pp. 152-278.
-
(1935)
Studia Philosophica
, vol.1
, pp. 261-405
-
-
Tarski, A.1
|