13629 results in The Journal of Symbolic Logic
Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 89–95. - Solomon Feferman. Some applications of the notions of forcing and generic sets. Fundamenta mathematicae, vol. 56 no. 3 (1965), pp. 325–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-613
- Print publication:
- September 1972
-
- Article
- Export citation
M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 (1965), pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 (1965), pp. 43–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 620
- Print publication:
- September 1972
-
- Article
- Export citation
Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 39–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-618
- Print publication:
- September 1972
-
- Article
- Export citation
Decidability of the “almost all” theory of degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-506
- Print publication:
- September 1972
-
- Article
- Export citation
Addition in nonstandard models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-486
- Print publication:
- September 1972
-
- Article
- Export citation
Theories without countable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 562-568
- Print publication:
- September 1972
-
- Article
- Export citation
An elementary sentence which has ordered models
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-530
- Print publication:
- September 1972
-
- Article
- Export citation
Martin Davis. One equation to rule them all. Transactions of the New York Academy of Sciences, ser. 2 vol. 30 no. 6 (1968), pp. 766–773.
-
- 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
Ron Klinger. The paradox of counter-conditional and its dissolution. Jurimetrics journal, vol. 11 no. 4 (1971), pp. 189–193.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- September 1972
-
- Article
- Export citation
P. Naslin. Circuits à relais et automatismes à séquences. Dunod, Paris1958, XII + 229 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
Octavian C. Bâscâ. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
- Print publication:
- September 1972
-
- Article
- Export citation
Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 183–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 601
- Print publication:
- September 1972
-
- Article
- Export citation
Ju. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 171–177.
-
- 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
Hao Wang. The calculus of partial predicates and its extension to set theory I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 283–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 617
- Print publication:
- September 1972
-
- Article
- Export citation
The model-companion of a class of structures1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 546-556
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 (1971), pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 (1971), pp. 249–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
- Print publication:
- September 1972
-
- Article
- Export citation
Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 215–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- September 1972
-
- Article
- Export citation
M. K. Rennie. On postulates for temporal order. The monist, vol. 53 (1969), pp. 457–468.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 629
- Print publication:
- September 1972
-
- Article
- Export citation
Characterization of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 507-511
- Print publication:
- September 1972
-
- Article
- Export citation
A. J. Perlis and K. Samelson. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Richard Goodman, Pergamon Press, New York-Oxford-London-Paris1960, pp. 268–290. (Reprinted from Communications of the Association for Computing Machinery, vol. 1 no. 12 (1958), pp. 8–22.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-622
- Print publication:
- September 1972
-
- Article
- Export citation