10 results
Tarski's System of Geometry
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 175-214
- Print publication:
- June 1999
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 230–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- December 1953
-
- Article
- Export citation
A problem concerning the notion of definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 2 / June 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-111
- Print publication:
- June 1948
-
- Article
- Export citation
Some theorems about the sentential calculi of Lewis and Heyting
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-15
- Print publication:
- March 1948
-
- Article
- Export citation
On the calculus of relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 6 / Issue 3 / September 1941
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-89
- Print publication:
- September 1941
-
- Article
- Export citation
On undecidable statements in enlarged systems of logic and the concept of truth
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-112
- Print publication:
- September 1939
-
- Article
- Export citation
Andrzej Mostowski. O niezalezności definicji skończoności w systemie logiki (On the independence of the definitions of finiteness in a system of logic). Dodatek do Rocznika Polskiego Towarzystwa Matematycznego (supplement to the Annales de la Société Polonaise de Mathématique), vol. 11 (1938), pp. 1–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 3 / Issue 3 / September 1938
- Published online by Cambridge University Press:
- 17 August 2023, pp. 115-116
- Print publication:
- September 1938
-
- Article
- Export citation
Andrzej Mostowski. O niezalezności definicji skończoności w systemie logiki (On the independence of the definitions of finiteness in a system of logic). Dodatek do Rocznika Polskiego Towarzystwa Matematycinego (supplement to the Annales de la Société Polonaise de Mathématique), vol. 11 (1938), pp. 1–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 3 / Issue 2 / June 1938
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
- Print publication:
- June 1938
-
- Article
- Export citation
Zygmunt Schmierer. O funkcjach charaklerystycznych w logikach wielowartościowych (Über die charakteristische Funktionen in den mehrwertigen Systemen der Logik). Przeglad filozoficzny, Bd. 39 (1936), S. 437.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 2 / June 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
- Print publication:
- June 1937
-
- Article
- Export citation
Bolesław Sobociński. Aksjomotyzacja pewnych wielowartościowych systemów teorji dedukcji (Axiomatization of certain many-valued systems of the theory of deduction). Roczniki prac naukowych zrzeszenia asystentów Uniwersytetu Józefa Piłsudskiego w Warszawie, vol. 1, Wydzial matematyczno-przyrodniczy Nr. 1, Warsaw1936, pp. 399–419.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 2 / June 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 93
- Print publication:
- June 1937
-
- Article
- Export citation