Contents
Reviews
Dieter Klaua. Konstruktive Analysis. Mathematische Forschungsberichte no. 11, VEB Deutscher Verlag der Wissenschaften, Berlin1961, VIII + 160 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
-
- Article
- Export citation
C. G. McKay. A note on the Jaśkowski sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 95–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
-
- Article
- Export citation
Frank B. Cannonito and Mark Finkelstein. On primitive recursive permutations and their inverses. The journal of symbolic logic, vol. 34 (1969), pp. 634–638.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
Jean Drabbe. Les S4-algèbres finies. Comptes rendus hehdomadaires des séances de l'Académic des Sciences, sér. A vol. 265 (1967), p. 309.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma (On the definition of an algorithm). Uspéhi matématičéskih nauk, vol. 13 no. 4 (1958), pp. 3–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
Yu. T. Medvedev. Finite problems. English translation of XXXVIII 356(20) by Elliott Mendelson. Soviet mathematics, vol. 3 no. 1 (1962), pp. 227–230. - Yu. T. Medvedev. Interpretation of logical formulas by means of finite problems and its relation to the readability theory. English translation of XXXVIII 356(21) by Sue Ann Walker. Soviet mathematics, vol. 4 no. 1 (1963), pp. 180–183. - Ju. T. Medvedev. Interpretation of logical formulas by means of finite problems. English translation of XXXVIII 356(22) by Sue Ann Walker. Soviet mathematics, vol. 7 no. 4 (1966), pp. 857–860.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
Hisao Tanaka. On analytic well-orderings. The journal of symbolic logic, vol. 35 (1970), pp. 198–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 155
-
- Article
- Export citation
Ralph C. Applebee and Biswambhar Pahi. Some results on generalized truth-tables. Notre Dame journal of formal logic, vol. 12 (1971), pp. 435–440.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
V. A. Kozmidiadi and S. S. Marčénkov. O mnogogolouočnyh automatah (On multi-head automata). Problémy kibérnétiki, vol. 21 (1969), pp. 127–158. See Errata, V. A. Kozmidiadi and S. S. Marčénkov. O mnogogolouočnyh automatah (On multi-head automata). Problémy kibérnétiki, vol. 22 (1970), p. 299.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
-
- Article
- Export citation
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 (1965), pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 99–100.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-156
-
- Article
- Export citation
V. A. Ánkov. O finitnoj obšéeznačimosti formul spécial′nogo vida. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 302–304. - V. A. Jankov. Finite validity of formulas of a special form. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 8 no. 3 (1967), pp. 648–650.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
-
- Article
- Export citation
Kiyoshi Iséki. On axiom systems of propositional calculi. XV. Proceedings of the Japan Academy, vol. 42 (1966), pp. 217–220. - Yoshinari Arai. On axiom systems of propositional calculi. XVII. Proceedings of the Japan Academy, vol. 42 (1966), pp. 351–354. - Shôtarô Tanaka. On axiom systems of propositional calculi. XVIII. Proceedings of the Japan Academy, vol. 42 (1966), pp. 355–357. - Yoshinari Arai and Shôtarô Tanaka. On axiom systems of propositional calculi. XIX. Proceedings of the Japan Academy, vol. 42 (1966), pp. 358–360. - Shôtarô Tanaka. On axiom systems of propositional calculi. XX. Proceedings of the Japan Academy, vol. 42 (1966), pp. 361–363.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by A. J. H. Morrell, North-Holland Publishing Company, Amsterdam 1969, pp. 269–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
-
- Article
- Export citation
J. Hooley. Sentence logic as an introduction to axiomatic systems. The mathematical gazette, vol. 44 (1960), pp. 23–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Gert Heinz Müller. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
-
- Article
- Export citation
V. A. Ánkov. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 (1968), pp. 208–211. - V. A. Jankov. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 1 (for 1968, pub. 1969), pp. 205–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
Sergiu Rudeanu. Independent systems of axioms in lattice theory. Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, n.s. vol. 3 (1959), pp. 475–488.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Gerhard Gentzen. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 1–3; also Archiv für Philosophie, vol. 5 no. 1 (1954), pp. 81–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 201–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
L. A. Zadeh. Fuzzy sets. Information and control, vol. 8 (1965), pp. 338–353. - L. A. Zadeh. Similarity relations and fuzzy orderings. Information sciences, vol. 3 (1971), pp. 177–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
-
- Article
- Export citation