13629 results in The Journal of Symbolic Logic
Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 437–438.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
- Print publication:
- September 1965
-
- Article
- Export citation
Ú. T. Médvédév. O klassé sobytij, dopuskaúščih prédstavlénié v konéčnom avtomaté (On a class of events representable in a finite automaton). Avtomaty, Izdatél'stvo Inostrannoj Litératury, Moscow1956, pp. 385–401.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- September 1965
-
- Article
- Export citation
JSL volume 30 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1965
-
- Article
-
- You have access
- Export citation
Andrzej Grzegorczyk. On the concept of categoricity. Englisch mit polnischer und russischer Zusammenfassung. Ebd., Bd. 13 (1962), S. 39–66. - A. Grzegorzyk. A kind of categoricity. Colloquium mathematicum, Bd. 9 Heft 2 (1962), S. 183–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-388
- Print publication:
- September 1965
-
- Article
- Export citation
Heinz Gumin und Hans Hermes. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 (1956), S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 388–397.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-387
- Print publication:
- September 1965
-
- Article
- Export citation
Ú. I. Žuravlév. O névozmožnosti postroéniá minimal'nyh dizúnktivnyh normal'nyh form funkcij algébry logiki v odnom kassé algoritmov. Doklady Akadémii Nauk SSSR, vol. 132 (1960), pp. 504–506. - Yu. I. Žuravlev. On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 1 no. 3 (1960), pp. 581–583.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
- Print publication:
- September 1965
-
- Article
- Export citation
P. H. Nidditch. Propositional calculus. Monographs in modern logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, viii + 83 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- September 1965
-
- Article
- Export citation
Some structure results for propositional calculi1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-292
- Print publication:
- September 1965
-
- Article
- Export citation
Hubert H. Schneider. Semantics of the predicate calculus with identity and the validity in the empty individual-domain. Portugaliae mathematica, vol. 17 (1958), pp. 85–96. - Hubert H. Schneider. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, vol 20 (1961), pp. 105–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-386
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal′cév. Ob odnom sootvétstvii méždu kol′cami i gruppami (On a correspondence between rings and groups). Matématičéskij sbornik, n.s. vol. 50 (1960), pp. 257–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
- Print publication:
- September 1965
-
- Article
- Export citation
Andrzej Grzegorczyk. Uzasadnianie aksjomatów teorii matematycznych (On the validation of the sets of axioms in mathematical theories). Polnisch mit russischer und englischer Zusammenfassung. Stadia logica, Bd. 13 (1962), S. 197–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 387
- Print publication:
- September 1965
-
- Article
- Export citation
A. Menne. Preface of the editor. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. VII–IX. - P. Banks (pseudonym). On the philosophical interpretation of logic: An Aristotelian dialogue. A reprint of XXVII 116. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 1–14. - I. M. Bocheński. On the categorical syllogism. A reprint of XV 140. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 15–39. - Ivo Thomas. CS(n): An extension of CS. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 40–54. - Albert Menne. Some results of investigation of the syllogism and their philosophical consequences. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 55–63. - I. M. Bocheński. Formalization of a Scholastic solution of the paradox of the ‘liar’. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 64–66. - I. M. Bocheński. On the syntactical categories. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 67–87. - Albert Menne. The logical analysis of existence. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 88–96. - I. M. Bocheńiski. On analogy. A reprint of XIV 265. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 97–117. - I. M. Bocheński. The problem of universals. A reprint of XXII 205. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 118–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-364
- Print publication:
- September 1965
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-427
- Print publication:
- September 1965
-
- Article
- Export citation
V. A. Smirnov. Logičéskié vzglády N. A. Vasil'éva (The logical views of N. A. Vasil'év). Očérki po istorii logiki v Rossii (Essays in the history of logic in Russia), Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 242–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
- Print publication:
- September 1965
-
- Article
- Export citation
A. A. Zinov'év. Logika vyskazyvanij i téoriá vyvoda (Propositional logic and theory of deduction). Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, 152 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 373
- Print publication:
- September 1965
-
- Article
- Export citation
Jan Berg. Bolzano's logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 2. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1962, 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
- Print publication:
- September 1965
-
- Article
- Export citation
Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 (1962), S. 101–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-389
- Print publication:
- September 1965
-
- Article
- Export citation
Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 (1963), pp. 135–145.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
- Print publication:
- September 1965
-
- Article
- Export citation
R. Sikorski. Distributivity and representability. Fundamenta mathematicae, vol. 48 no. 1 (1959), pp. 91–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
- Print publication:
- September 1965
-
- Article
- Export citation
N. I. Stážkin. Logičéskoé naslédstvo P. S. Poréckogo (The logical legacy of P. S. Porěckij). Očérki po istorii logiki v Rossii (Essays in the history of logic in Russia), Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 126–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- September 1965
-
- Article
- Export citation