13629 results in The Journal of Symbolic Logic
B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 814–817.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
- Print publication:
- September 1973
-
- Article
- Export citation
J. Hooley. Sentence logic as an introduction to axiomatic systems. The mathematical gazette, vol. 44 (1960), pp. 23–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1973
-
- Article
- Export citation
The characterization of monadic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-488
- Print publication:
- September 1973
-
- Article
- Export citation
G. N. Povarov. Matématiko-logičéskoe isslédovanié sintéza kontaktnyh shém s odnim vhodom i k vyhodami (A mathematical theory for the synthesis of contact networks with one input and k outputs). A reprint of XXXV 175 with minor corrections. Logičéskié isslédovaniá, Sbornik statéj, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 379–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- June 1973
-
- Article
- Export citation
Discernible elements in models for Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- June 1973
-
- Article
- Export citation
The set theoretical foundations of nonstandard analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-192
- Print publication:
- June 1973
-
- Article
- Export citation
Richard L. Poss. A note on a lemma of J. W. Addison. Notre Dame journal of formal logic, vol. 11 (1970), pp. 337–339.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- June 1973
-
- Article
- Export citation
Erratum
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 358
- Print publication:
- June 1973
-
- Article
- Export citation
Infinite exponent partition relations and well-ordered choice1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-308
- Print publication:
- June 1973
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-347
- Print publication:
- June 1973
-
- Article
- Export citation
Stephen Cole Kleene. Introduction to metamathematics. Sixth printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- June 1973
-
- Article
- Export citation
Reijiro Kurata. Recursive progression of intuitionistic number theories. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 140–166.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1973
-
- Article
- Export citation
A proof of the cut-elimination theorem in simple type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-226
- Print publication:
- June 1973
-
- Article
- Export citation
JSL volume 38 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1973
-
- Article
-
- You have access
- Export citation
John Staples. A non-standard representation of Boolean algebras, and applications. The bulletin of the London Mathematical Society, vol. 1 (1969), pp. 315–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1973
-
- Article
- Export citation
A finite arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-248
- Print publication:
- June 1973
-
- Article
- Export citation
Dana Scott. On constructing models for arithmetic. 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, and Paris, 1961, pp. 235–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- June 1973
-
- Article
- Export citation
P. T. Geach. Distribution: a last word. The philosophical review, vol. 69 (1960), pp. 396–398.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1973
-
- Article
- Export citation
J. Jay Zeman. Bases for S4 and S4.2 without added axioms. Notre Dame journal of formal logic, vol. 4 (1963), pp. 227–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
- Print publication:
- June 1973
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York 1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-358
- Print publication:
- June 1973
-
- Article
- Export citation