13629 results in The Journal of Symbolic Logic
Martin Davis. Applications of recursive function theory to number theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 135–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 602
- Print publication:
- September 1972
-
- Article
- Export citation
Notice of annual meeting of the Association
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 640
- Print publication:
- September 1972
-
- Article
- Export citation
The Hanf number of second order logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 588-594
- Print publication:
- September 1972
-
- Article
- Export citation
Ken Hirose. A conjecture on Hilbert's 10th problem. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 1 (1968), pp. 31–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
- Print publication:
- September 1972
-
- Article
- Export citation
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (editor), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 (1960), pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 299–314.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
- Print publication:
- September 1972
-
- Article
- Export citation
Paul Turán. On the work of Alan Baker. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris1971, Vol. 1, pp. 3–5. - Alan Baker. Effective methods in the theory of numbers. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris1971, Vol. 1, pp. 19–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- September 1972
-
- Article
- Export citation
P. Naslin. Circuits logiques et automatismes à séquences. Deuxième édition, entièrement refondue. Dunod, Paris1965, XVIII + 476 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- September 1972
-
- Article
- Export citation
Jump equivalence of the Δ20 hyperimmune sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-600
- Print publication:
- September 1972
-
- Article
- Export citation
Johann Sonner. On the formal definition of categories. Mathematische Zeitschrift, vol. 80 no. 2 (1962), pp. 163–176.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-614
- Print publication:
- September 1972
-
- Article
- Export citation
Omitting quantifier-free types in generic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-520
- Print publication:
- September 1972
-
- Article
- Export citation
A. H. Lachlan. Lower bounds for pairs of recursively enumerable degrees. Proceedings of the London Mathematical Society, set. 3 vol. 16 part 3 (1966), pp. 537–569.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
- Print publication:
- September 1972
-
- Article
- Export citation
F. A. Kabakov. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 16–18. - F. A. Kabakov. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 562–564.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
- Print publication:
- September 1972
-
- Article
- Export citation
Erik Ellentuck. Solution of a problem of R. Friedberg. Mathematische Zeitschrift, vol. 82 (1963), pp. 101–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
- Print publication:
- September 1972
-
- Article
- Export citation
Julia Robinson. Unsolvable diophantine problems. Proceedings of the American Mathematical Society, vol. 22 (1969), pp. 534–538.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
- Print publication:
- September 1972
-
- Article
- Export citation
Countable homogeneous relational structures and ℵ0-categorical theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-500
- Print publication:
- September 1972
-
- Article
- Export citation
Hilary Putnam. An unsolvable problem in number theory. The Journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 220–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-602
- Print publication:
- September 1972
-
- Article
- Export citation
J. Hartmanis, P. M. LewisII, and R. E. Stearns. Classifications of computations by time and memory requirements. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29,1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 31–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
- Print publication:
- September 1972
-
- Article
- Export citation
A. H. Kruse. Grothendieck universes and the super-complete models of Shepherdson. Composite mathematica, vol. 17 (1965), pp. 96–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
- Print publication:
- September 1972
-
- Article
- Export citation
Martin Davis. Extensions and corollaries of recent work on Hilbert's tenth problem. Illinois journal of mathematics, vol. 7 (1963), pp. 246–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 602
- Print publication:
- September 1972
-
- Article
- Export citation