Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 37 Issue 1

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 37 - Issue 1 - March 1972

Reviews

J. C. Abbott. Semi-Boolean algebra. Matematički vesnik, vol. 4 (1967), pp. 177–198.

F. William Lawvere. An elementary theory of the category of sets. Proceedings of the National Academy of Sciences, vol. 52 (1964), pp. 1506–1511.

Shôtarô Tanaka. On axioms of ontology. Proceedings of the Japan Academy, vol. 44 (1968), pp. 54–55. - Shôtarô Tanaka. On theorems of ontology. Proceedings of the Japan Academy, vol. 44 (1968), pp. 231–233.

Akiko Kino. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 346–356.

B. Scarpellini. A characterization of Δ2-sets. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 441–450.

S. R. Kogalovskij. K sémantiké téorii tipov (On the semantics of the theory of types). Izvéstiá vysših učébnyh zavédénij, Matématika, no. 1 (1966), pp. 89–98.

Karl Schröter. Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln. Zeitschrift für mthematische Logik und Grundlagen der mathematik, vol. 2 (1956), pp. 218–227.

A. Dumitriu. The antinomy of the theory of types. International logic review—Rassegna internazionale di logica (Bologna), vol. 2 no. 3 (1971), pp. 51–54.

Gerold Stahl. A paratheory of type theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 169–171.

Gerold Stahl. Remarks on the incompleteness proof. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 164–170.

Vladeta Vučković. Mathematics of incompleteness and undecidability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 123–150.

T. G. McLaughlin. A theorem on productive functions. Proceedings of the American Mathematical Society, vol. 14 (1963), p. 444.

D. Rödding. Klassen rekursiver Funktionen. Proceedings of the summer school in logic, Leeds, 1967, herausgegeben von M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, und New York, 1968, S. 159–222.

Joseph S. Ullian. Partial algorithm problems for context free languages. Information and control, vol. 11 (1967), pp. 80–101.

Seymour Ginsburg, Thomas N. Hibbard, and Joseph S. Ullian. Sequences in context free languages. Illinois journal of mathematics, vol. 9 (1965), pp. 321–337.

Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 (1967), pp. 183–195.

A. Markov. O nérazréšimosti nékotoryh problém topologii (On the unsolvability of some problems in topology). Doklady Akadémii Nauk SSSR, vol. 123 (1958), pp. 978–980.

Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 (1968), pp. 526–543.

N. V. Belyakin. A certain class of Türing machines. English translation of XXXVII 211. Soviet physics, Doklady, vol. 8 no. 1 (1963), pp. 3–4.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 37 - Issue 1 - March 1972

Reviews