Contents
Reviews
J. C. Abbott. Semi-Boolean algebra. Matematički vesnik, vol. 4 (1967), pp. 177–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
-
- Article
- Export citation
F. William Lawvere. An elementary theory of the category of sets. Proceedings of the National Academy of Sciences, vol. 52 (1964), pp. 1506–1511.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Akiko Kino. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 346–356.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Gaisi Takeuti. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 65–97. - Gaisi Takeuti. A formalization of the theory of ordinal numbers. The journal of symbolic logic, vol. 30 (1965), pp. 295–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-193
-
- Article
- Export citation
B. Scarpellini. A characterization of Δ2-sets. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 441–450.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 193
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
-
- Article
- Export citation
Gerold Stahl. A paratheory of type theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 169–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
-
- Article
- Export citation
Gerold Stahl. Remarks on the incompleteness proof. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 164–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation
Vladeta Vučković. Mathematics of incompleteness and undecidability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 123–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-196
-
- Article
- Export citation
T. G. McLaughlin. A theorem on productive functions. Proceedings of the American Mathematical Society, vol. 14 (1963), p. 444.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
-
- Article
- Export citation
Joseph S. Ullian. Partial algorithm problems for context free languages. Information and control, vol. 11 (1967), pp. 80–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
-
- Article
- Export citation
Seymour Ginsburg, Thomas N. Hibbard, and Joseph S. Ullian. Sequences in context free languages. Illinois journal of mathematics, vol. 9 (1965), pp. 321–337.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 (1967), pp. 183–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 (1968), pp. 526–543.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-198
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
-
- Article
- Export citation