The Journal of Symbolic Logic: Volume 29 - Issue 1

O. B. Lupanov. O véntil′nyh i kontaktno-véntil′nyh shémah (On rectifying and rectifying-switching circuits). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 1171–1174.
Andrzej Harland
Published online by Cambridge University Press:

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

V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém (Equivalent transformations of contact circuits). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 262–265.
Andrzej Blikle
Published online by Cambridge University Press:

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

I. B. Pyne and E. J. McCluskeyJr., An essay on prime implicant tables. Journal of the Society for Industrial and Applied Mathematics, vol. 9 (1961), pp. 604–631.
Thomas H. Mott, Jr.
Published online by Cambridge University Press:

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

Leon Leblanc. Nonhomogeneous polyadic algebras. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 59–65.
Donald Monk
Published online by Cambridge University Press:

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

Leon Leblanc. Duality for Boolean equalities. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 74–79.
Donald Monk
Published online by Cambridge University Press:

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

Antonio Monteiro and Oscar Varsavsky. Algebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 52–62.
Aubert Daigneault
Published online by Cambridge University Press:

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

Antonio Monteiro. Normalidad en las álgebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 50–51.
Aubert Daigneault
Published online by Cambridge University Press:

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

Gonzalo Zubieta R. Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 (1957), pp. 45–53.
John van Heijenoort
Published online by Cambridge University Press:

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

Gonzalo Zubieta Russi. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico1953, pp. 100–108.
John van Heijenoort
Published online by Cambridge University Press:

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

Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.
Carol R. Karp
Published online by Cambridge University Press:

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

P. S. Novikov. O nérazréšimosti problémy toždéstva slov v gruppé i nékotoryh drugih problém algebry (The unsolvability of the problem of the equivalence of words in a group and several other problems in algebra). Čehoslovackij matématičéskij žurnál (Czechoslovak mathematical journal), vol. 6 (81) (1956), pp. 450–454.
A. Włodzimierz Mostowski
Published online by Cambridge University Press:

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

P. S. Novikov and S. I. Adán. Probléma toždéstva dlá polugrupp s odnostoronnim sokraščéniém (Das Wortproblem für Halbgruppen mit einseitiger Kürzungsregel). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 66–88.
A. Włodzimierz Mostowski
Published online by Cambridge University Press:

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

N. M. Nagornyj. O razyskanii izomorfizmov associativnyh isčislénij (Über das Aufsuchen von Isomorphismen assoziativer Kalküle). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 319–324.
A. Włodzimierz Mostowski
Published online by Cambridge University Press:

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

Julia Robinson. The undecidability of algebraic rings and fields. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 950–957.
Martin Davis
Published online by Cambridge University Press:

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

Wolfgang Rautenberg. Unentscheidbarheit der euklidischen Inzidenzgeometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 12–15.
L. W. Szczerba
Published online by Cambridge University Press:

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

Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269.
James R. Guard
Published online by Cambridge University Press:

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

G. Hasenjaeger. Formales und produktives Schlieβen. Mathematisch-physikalische Setnesterberichte (Göttingen), vol. 6 no. 1/2 (1958), pp. 184–194.
Gert Heinz Müller
Published online by Cambridge University Press:

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

R. Montague. Semantical closure and non-finite axiomatizability I. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 45–69.
G. Hasenjaeger
Published online by Cambridge University Press:

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

Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 (1963), pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 (1963), p. 204.
Marian Boykan Pour-El
Published online by Cambridge University Press:

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

J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959), pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130.
Donald L. Kreider
Published online by Cambridge University Press:

12 March 2014, pp. 60-62
- 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 29 - Issue 1 - March 1964

Reviews

O. B. Lupanov. O véntil′nyh i kontaktno-véntil′nyh shémah (On rectifying and rectifying-switching circuits). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 1171–1174.

V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém (Equivalent transformations of contact circuits). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 262–265.

I. B. Pyne and E. J. McCluskeyJr., An essay on prime implicant tables. Journal of the Society for Industrial and Applied Mathematics, vol. 9 (1961), pp. 604–631.

Leon Leblanc. Nonhomogeneous polyadic algebras. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 59–65.

Leon Leblanc. Duality for Boolean equalities. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 74–79.

Antonio Monteiro and Oscar Varsavsky. Algebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 52–62.

Antonio Monteiro. Normalidad en las álgebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 50–51.

Gonzalo Zubieta R. Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 (1957), pp. 45–53.

Gonzalo Zubieta Russi. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico1953, pp. 100–108.

Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.

P. S. Novikov and S. I. Adán. Probléma toždéstva dlá polugrupp s odnostoronnim sokraščéniém (Das Wortproblem für Halbgruppen mit einseitiger Kürzungsregel). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 66–88.

N. M. Nagornyj. O razyskanii izomorfizmov associativnyh isčislénij (Über das Aufsuchen von Isomorphismen assoziativer Kalküle). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 319–324.

Julia Robinson. The undecidability of algebraic rings and fields. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 950–957.

Wolfgang Rautenberg. Unentscheidbarheit der euklidischen Inzidenzgeometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 12–15.

Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269.

G. Hasenjaeger. Formales und produktives Schlieβen. Mathematisch-physikalische Setnesterberichte (Göttingen), vol. 6 no. 1/2 (1958), pp. 184–194.

R. Montague. Semantical closure and non-finite axiomatizability I. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 45–69.

Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 (1963), pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 (1963), p. 204.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 29 - Issue 1 - March 1964

Reviews