Contents
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
-
- Article
- Export citation
Louise Schmir Hay. Axiomatization of the infinite-valued predicate calculus. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 77–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
-
- Article
- Export citation
Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
-
- Article
- Export citation
Reviews
Joan B. Ogden and Henry B. Veatch. Putting the square back into opposition. The new Scholasticism, vol. 30 (1956), pp. 409–440.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation
A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 (1962), pp. 204–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-212
-
- Article
- Export citation
G. Hasenjaeger. Formales und produktives Schlieβen. Mathematisch-physikalische Setnesterberichte (Göttingen), vol. 6 no. 1/2 (1958), pp. 184–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 59
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-162
-
- Article
- Export citation
Front matter
JSL volume 29 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
R. Montague. Semantical closure and non-finite axiomatizability I. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 45–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
-
- Article
- Export citation
Tadeusz Gierymski and Michael P. Slattery. Is the square back in opposition?Philosophical studies (Maynooth), vol. 7 (1957), pp. 123–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
B. I. Finikov. Ob odnom séméjstvé klassov funkcij algébry logiki i ih réalizacii v klassé II-shém (On a family of classes of functions in the algebra of logic and their realizations in the class of II-circuits). Doklady Akadémii Nauk SSSR, vol. 115 (1957), pp. 247–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
-
- Article
- Export citation
T. Gierymski and M. P. Slattery. Existential import and “Latin Averroism.”Franciscan studies, vol. 18 (1958), pp. 127–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Back matter
JSL volume 29 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Storrs McCall. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 (1962), pp. 120–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 (1963), pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 (1963), p. 204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959), pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-62
-
- Article
- Export citation
Alan Rose. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 204–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
-
- Article
- Export citation
Michael P. Slattery and Tadeusz Gierymski. A propositions. The modern Schoolman, vol. 36 no. 2 (1959), pp. 91–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Tadeusz Gierymski and Michael P. Slattery. Metaphysics and the null class. Philosophical studies (Maynooth), vol. 11 (1961–62), pp. 128–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation