The Journal of Symbolic Logic: Volume 32 -

C. E. M. Yates. Recursively enumerable sets and retracing functions. Zeitschrift für mathematische logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 331–345.
Hartley Rogers, Jr.
Published online by Cambridge University Press:

12 March 2014, p. 394
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Henry Hiż. Congrammaticality, batteries of transformations and grammatical categories. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 43–50. - H. Hiż. The intuitions of grammatical categories. Methodos, vol. 12 (for 1960, pub. 1961), pp. 311–319.
G. H. Matthews
Published online by Cambridge University Press:

12 March 2014, pp. 115-116
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.
Donald Kalish
Published online by Cambridge University Press:

12 March 2014, pp. 252-255
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

S. Ú. Maslov. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 779–782. - S. Ju. Maslov. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by R. N. Gdss. Soviet mathematics, vol. 3 no. 6 (1963), pp. 1708–1711.
E. M. Fels
Published online by Cambridge University Press:

12 March 2014, p. 527
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Peter S. Landweber. Three theorems on phrase structure grammars of type 1. Information and control, vol. 6 (1963), pp. 131–136.
Richard Stanley
Published online by Cambridge University Press:

12 March 2014, p. 116
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Hugues Leblanc. Minding one's X's and Y's. Logique et analyse, n.s. vol. 8 (1965), pp. 209–210. - John G. Slater. The required correction to Copi's statement of UG. Logique et analyse, n.s. vol. 9 (1966), p. 267.
Donald Kalish
Published online by Cambridge University Press:

12 March 2014, p. 255
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468.
Hartley Rogers, Jr.
Published online by Cambridge University Press:

12 March 2014, pp. 394-395
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 17–19.
Paul Axt
Published online by Cambridge University Press:

12 March 2014, p. 527
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

S.-Y. Kuroda. Classes of languages and linear-bounded automata. Information and control, vol. 7 (1964), pp. 207–223.
Peter S. Landweber
Published online by Cambridge University Press:

12 March 2014, pp. 116-117
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp.
Richmond Thomason
Published online by Cambridge University Press:

12 March 2014, pp. 255-256
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

J. C. E. Dekker. The minimum of two regressive isols. Mathematische Zeitschrift, vol. 83 (1964), pp. 345–366.
Erik Ellentuck
Published online by Cambridge University Press:

12 March 2014, p. 527
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. H. Lachlan. A note on universal sets. The journal of symbolic logic, vol. 31 (1966), pp. 573–574.
P. R. Young
Published online by Cambridge University Press:

12 March 2014, p. 395
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Joseph Barback. Two notes on regressive isols. Pacific journal of mathematics, vol. 15 (1966), pp. 407–420.
Carl Bredlau
Published online by Cambridge University Press:

12 March 2014, pp. 527-528
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621.
David Luckham
Published online by Cambridge University Press:

12 March 2014, p. 117
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

R. Fraïssé. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328.
Günter Asser
Published online by Cambridge University Press:

12 March 2014, pp. 395-396
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Hugues Leblanc. Études sur les règles d'inférence dites règles de Gentzen. Deuxième partie. Dialogue, vol. 1 no. 4 (1963), pp. 355–367.
Paul Bernays
Published online by Cambridge University Press:

12 March 2014, pp. 256-258
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

K. Jaakko J. Hintikka. Identity, variables, and impredicative definitions. The journal of symbolic logic, vol. 21 (1956), pp. 225–245. - K. Jaakko J. Hintikka. Vicious circle principle and the paradoxes. The journal of symbolic logic, vol. 22 (1957), pp. 245–249.
Ronald Jensen
Published online by Cambridge University Press:

12 March 2014, pp. 258-259
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 (für 1963, ersch. 1964), S. 37–39.
K. Schütte
Published online by Cambridge University Press:

12 March 2014, p. 396
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Gerald E. Sacks. A maximal set which is not complete. Michigan mathematical journal, vol. 11 (1964), pp. 193–205.
K. Appel
Published online by Cambridge University Press:

12 March 2014, p. 528
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 536–541.
David Luckham
Published online by Cambridge University Press:

12 March 2014, pp. 117-118
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 32 - 09 October 1967

Reviews

C. E. M. Yates. Recursively enumerable sets and retracing functions. Zeitschrift für mathematische logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 331–345.

Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.

Peter S. Landweber. Three theorems on phrase structure grammars of type 1. Information and control, vol. 6 (1963), pp. 131–136.

Hugues Leblanc. Minding one's X's and Y's. Logique et analyse, n.s. vol. 8 (1965), pp. 209–210. - John G. Slater. The required correction to Copi's statement of UG. Logique et analyse, n.s. vol. 9 (1966), p. 267.

C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468.

Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 17–19.

S.-Y. Kuroda. Classes of languages and linear-bounded automata. Information and control, vol. 7 (1964), pp. 207–223.

Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp.

J. C. E. Dekker. The minimum of two regressive isols. Mathematische Zeitschrift, vol. 83 (1964), pp. 345–366.

A. H. Lachlan. A note on universal sets. The journal of symbolic logic, vol. 31 (1966), pp. 573–574.

Joseph Barback. Two notes on regressive isols. Pacific journal of mathematics, vol. 15 (1966), pp. 407–420.

Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621.

R. Fraïssé. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328.

Hugues Leblanc. Études sur les règles d'inférence dites règles de Gentzen. Deuxième partie. Dialogue, vol. 1 no. 4 (1963), pp. 355–367.

K. Jaakko J. Hintikka. Identity, variables, and impredicative definitions. The journal of symbolic logic, vol. 21 (1956), pp. 225–245. - K. Jaakko J. Hintikka. Vicious circle principle and the paradoxes. The journal of symbolic logic, vol. 22 (1957), pp. 245–249.

Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 (für 1963, ersch. 1964), S. 37–39.

Gerald E. Sacks. A maximal set which is not complete. Michigan mathematical journal, vol. 11 (1964), pp. 193–205.

Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 536–541.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 32 - 09 October 1967

Reviews