10 results
State-strategies for games in Fσδ ∩ Gδσ
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1198
- Print publication:
- December 1983
-
- Article
- Export citation
Definability in the monadic second-order theory of successor1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-170
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
- Print publication:
- December 1964
-
- Article
- Export citation
Paul R. Halmos Naive set theory. The university series in undergraduate mathematics. Princeton: D. Van Nostrand Co., 1960. vi + 104 pp. $3.50.
-
- Journal:
- Philosophy of Science / Volume 28 / Issue 4 / October 1961
- Published online by Cambridge University Press:
- 14 March 2022, p. 445
- Print publication:
- October 1961
-
- Article
- Export citation
J. Pfanzagl Die axiomatischen Grundlagen einer allgemeinen Theorie des Messens. Schriftenreihe des Statistischen Instituts der Universität Wien, Neue Folge Nr. 1. Würzburg: Physica-Verlag, 1959, 63 pp. D.M. 14—.
-
- Journal:
- Philosophy of Science / Volume 27 / Issue 2 / April 1960
- Published online by Cambridge University Press:
- 14 March 2022, pp. 224-226
- Print publication:
- April 1960
-
- Article
- Export citation
The Basic Concepts of Mathematics. Karl Menger. Chicago: The Bookstore, Illinois Institute of Technology, 1957. Pp. 93.
-
- Journal:
- Philosophy of Science / Volume 24 / Issue 4 / October 1957
- Published online by Cambridge University Press:
- 14 March 2022, p. 366
- Print publication:
- October 1957
-
- Article
- Export citation
Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-135
- Print publication:
- June 1953
-
- Article
- Export citation
Hugo Ribeiro. A remark on Boolean algebras with operators. American journal of mathematics, vol. 74 (1952), pp. 163–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
- Print publication:
- March 1953
-
- Article
- Export citation
Bjarni Jónsson and Alfred Tarski. Boolean algebras with operators. American journal of mathematics, vol. 73 (1951), pp. 891–939, and vol. 74 (1952), pp. 127–162.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- March 1953
-
- Article
- Export citation
Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
- Print publication:
- March 1953
-
- Article
- Export citation