13629 results in The Journal of Symbolic Logic
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1973
-
- Article
- Export citation
On an Ackermann-type set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-412
- Print publication:
- September 1973
-
- Article
- Export citation
The word problem for division rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 428-436
- Print publication:
- September 1973
-
- Article
- Export citation
Erik Ellentuck. A minimal model for strong analysis. Fundamenta mathematicae, vol. 73 no. 2 (1971), pp. 125–131.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
- Print publication:
- September 1973
-
- Article
- Export citation
Ivan M. Havel. Regular expressions over generalized alphabet and design of logical nets. Kybernetika (Prague), vol. 4 (1968), pp. 516–537.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
- Print publication:
- September 1973
-
- Article
- Export citation
L. Henkin. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 89–96. - J. Łoś. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 (1957), pp. 82–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
- Print publication:
- September 1973
-
- Article
- Export citation
Karel Čulík II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika (Prague), vol. 6 (1970), pp. 99–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
- Print publication:
- September 1973
-
- Article
- Export citation
David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria (Lund), vol. 36 (for 1970, pub. 1971), pp. 331–335.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- September 1973
-
- Article
- Export citation
Encodability of Kleene's O
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-440
- Print publication:
- September 1973
-
- Article
- Export citation
Daniel Lacombe. La théorie des fonctions récursives et ses applications. Bulletin de la Société Mathématique de France, vol. 88 (1960), pp. 393–468.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 526
- Print publication:
- September 1973
-
- Article
- Export citation
Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-367
- Print publication:
- September 1973
-
- Article
- Export citation
Andrzej Grzegorczyk. O pewnych formalnych konsekwencjach reizmu (On certain formal consequences of reism). Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim Profesora Tadeusza Kotarbinskiego, Państwowe Wydawnictwo Naukowe, Warsaw1959, pp. 7–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 536
- Print publication:
- September 1973
-
- Article
- Export citation
Rowbottom cardinals and Jonsson cardinals are almost the same1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-427
- Print publication:
- September 1973
-
- Article
- Export citation
H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sydney, 1969, pp. 228–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
- Print publication:
- September 1973
-
- Article
- Export citation
Carmelo Ottaviano. Premessa. Logicalia, Saggi di logica e di filosofia della scienza, by Annibale Pastore, edited by Carmelo Ottaviano, CEDAM—Casa Editrice Dott. Antonio Milani—Padua1957, pp. 5–6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
- Print publication:
- September 1973
-
- Article
- Export citation
Weak definability in infinitary languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-404
- Print publication:
- September 1973
-
- Article
- Export citation
Ludovico Geymonat. Prefazione. Logica e aritmetica, by Gottlob Frege, writings collected and edited by Corrado Mangione (translation by Ludovico Geymonat and Corrado Mangione), Paolo Boringhieri, Turin1965, pp. 9–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-534
- Print publication:
- September 1973
-
- Article
- Export citation
The faithfulness of the interpretation of arithmetic in the theory of constructions
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-459
- Print publication:
- September 1973
-
- Article
- Export citation
A characterization of terms of the λI-calculus having a normal form
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-445
- Print publication:
- September 1973
-
- Article
- Export citation
Notice of a Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
- Print publication:
- September 1973
-
- Article
- Export citation