Contents
Reviews
Richard Montague and Jan Tarski. On Bernstein's self-dual set of postulates for Boolean algebras. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 310–311.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
-
- Article
- Export citation
Rózsa Péter. Graphschemata und rekursive Funktionen. Dialectica, vol. 12 (1958), pp. 373–393; also Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Éditions du Griffon, Neuchâtel 1959, pp. 169–189. - Rósza Péter. Über die Partiell-rekursivität der durch Graphschemata definierten zahlentheoretischen Funktionen. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae, Sectio mathematica, vol. 2 (1959), pp. 41–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
B. A. Trachtenbrot. Wieso können Automaten rechnen? Deutsche Übersetzung von Algoritmy i mašinnoé rešénié zadač von Karl-Heinz Rupp. VEB Deutscher Verlag der Wissenschaften, Berlin1959, 101 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
-
- Article
- Export citation
András Ádám. Kétpólusú elektromos hálózatokról (Über zweipolige elektrische Netze). Hungarian with Russian and German summaries. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei (Publications of the Mathematical Institute of the Hungarian Academy of Sciences), vol. 2 (1957), pp. 211–218, and vol. 3 (1958), pp. 67–79, 207–218, and vol. 4 (1959), pp. 183–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-367
-
- Article
- Export citation
Hartley RogersJr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 847–853.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
A. S. Kahr, Edward F. Moore, and Hao Wang. Entscheidungsproblem reduced to the ∀∃∀ case. Proceedings of the National Academy of Sciences, Bd. 48 (1962), S. 365–377.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-474
-
- Article
- Export citation
György Pollák. Megjegyzés Ádám András “Kétpólusú elektromos hálózatokról, II.” cimü dolgozatához (Bemerkung zur Arbeit “Über zweipolige elektrische Netze, II.” von A. Adám). Hungarian, with Russian and German summaries. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei (Publications of the Mathematical Institute of the Hungarian Academy of Sciences), vol. 3 (1958), pp. 81–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
Meeting Report
Twenty-eighth annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-483
-
- Article
- Export citation
Reviews
Klaus Härtig. Zur Axiomatisierung der Nicht-Identitäten des Aussagenkalküls, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 240–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
Arnold Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 (1962), S. 297–333.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 (1958), pp. 25–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 (1958), pp. 357–373.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
-
- Article
- Export citation
Gr. C. Moisil. Sur les idéaux des algèbres Łukasiewicziennes trivalents. Analele Universităţii “C. I. Parhon”, seria Acta logica, vol. 3 (1960), pp. 83–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
Ferdinand Gonseth. Le problème du language et l'ouverture à l′expérience. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 84–91; auch Dialectica, Bd. 12 (1958), S. 288–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
-
- Article
- Export citation
Other
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-504
-
- Article
- Export citation
Reviews
Solomon Feferman. Degrees of unsolvability associated with classes of formalized theories. The journal of symbolic logic, vol. 22 (1957), pp. 161–175. - J. R. Shoenfield. Degrees of formal systems. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 389–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-86
-
- Article
- Export citation
R. L. Goodstein. On the nature of mathematical systems. Englisch, mit englischem und französischem Résumé. Ebd., S. 92–112; auch ebd., S. 296–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
-
- Article
- Export citation
Front matter
JSL volume 27 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Reviews
Gr. C. Moisil. Sur la logique à trois valeurs de Łukasiewicz. Analale Universitaţii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 103–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation