13629 results in The Journal of Symbolic Logic
Louise Schmir Hay. Axiomatization of the infinite-valued predicate calculus. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 77–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
- Print publication:
- June 1964
-
- Article
- Export citation
N. M. Nagornyj. O minimal′nom aljavité algorifmov nad dannym alfavitom (On a minimal alphabet of algorithms over a given alphabet). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 66–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
- Print publication:
- June 1964
-
- Article
- Export citation
N. A. Šanin. O linéjnyh konstruktivnyh funkcional̀ah v konstruktivnom gil′bértovom prostranstvé (Über konstruktive lineare Funktionale in einem konstruktiven Hilbertschen Raum). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
- Print publication:
- June 1964
-
- Article
- Export citation
R. O. Gandy. On a problem of Kleene's. Bulletin of the American Mathematical Society, vol. 66 (1960), pp. 501–502.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- June 1964
-
- Article
- Export citation
Further results on infinite valued predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-78
- Print publication:
- June 1964
-
- Article
- Export citation
Henryk Greniewski. 2n+1 wartości logicznych (2n+1 logical values). Studia filozoficzne, no. 2 (1957), pp. 82–116, and no. 3 (1957), pp. 3–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
- Print publication:
- June 1964
-
- Article
- Export citation
B. H. Arnold. Logic and Boolean algebra. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1962, viii + 144 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- June 1964
-
- Article
- Export citation
Results concerning same modal systems that contain S2
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-87
- Print publication:
- June 1964
-
- Article
- Export citation
Michael P. Slattery and Tadeusz Gierymski. A propositions. The modern Schoolman, vol. 36 no. 2 (1959), pp. 91–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- June 1964
-
- Article
- Export citation
Shih-Chao Liu. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 184–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- June 1964
-
- Article
- Export citation
T. K. Bérénds and A. A. Tal′. Pnévmatičskié réléjnyé shémy (Pneumatic switching circuits). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1483–1495.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- June 1964
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- June 1964
-
- Article
- Export citation
T. Gierymski and M. P. Slattery. Existential import and “Latin Averroism.”Franciscan studies, vol. 18 (1958), pp. 127–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- June 1964
-
- Article
- Export citation
B. A. Trahténbrot. Konéčnyé avtomaty i logika odnoméstnyh predikátov (Finite automata and the logic of singulary predicates). Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 326–329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- June 1964
-
- Article
- Export citation
Willard Van Orman Quine. Mathematical logic. Revised edition. Harper torchbooks. The science library. Harper & Row, New York and Evanston1962, xii + 346 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
- Print publication:
- June 1964
-
- Article
- Export citation
Reviews - Janina Kotarbińska. Pojęcie znaku (The concept of sign). Polish, with Russian and English summaries. Studia logica, vol. 6 (1957), pp. 57–143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
- Print publication:
- June 1964
-
- Article
- Export citation
Ladislav Rieger. Ob algébrah Suslina (S-algébrah) i ih prédstavlénii (On Suslinalgebras and their representations). Čéhoslovackij matétnatičéskij žurnal (Czechoslovak mathematical journal), vol. 5 (80) (1955), pp. 99–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- June 1964
-
- Article
- Export citation
Hao Wang. The anthmetization of metamathematics. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 334–361.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- June 1964
-
- Article
- Export citation
Toshio Nishimura. Note on axiomatic set theory I. The independence of Zermelo's “Aussonderungsaxiom” from other axioms of set theory. Osaka mathematical journal, vol. 12 (1960), pp. 319–329. - Toshio Nishimura. Note on axiomatic set theory II. A construction of a model satisfying the axioms of set theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, vol. 9 (1961), pp. 29–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 107
- Print publication:
- June 1964
-
- Article
- Export citation
Irving M. Copi. Introduction to logic. Second edition of XIX 147. The Macmillan Company, New York1961, xviii + 512 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
- Print publication:
- June 1964
-
- Article
- Export citation