13629 results in The Journal of Symbolic Logic
A. Borgers. La méthode axiomatique et la logique symbolique. Mathématiques du XXe siècle, vol. 1 (1960), pp. 25–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- June 1962
-
- Article
- Export citation
The implicational fragment of Dummett's LC
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-194
- Print publication:
- June 1962
-
- Article
- Export citation
Th. Skolem. Reduction of axiom systems with axiom schemes to systems with only simple axioms. Ebd., S. 239–246; auch ebd., S. 443–450.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 232
- Print publication:
- June 1962
-
- Article
- Export citation
R. Suszko. Czy logika znów pod znakiem zapytania (Are there again doubts about the teaching of logic). Myśl filozoficzna, no. 1 (1955), pp. 229–234. - K. Szaniawski. Parę uwag w sprawie niesłusznej decyzji (Some remarks on an unjust decision). Myśl filozoficzna, no. 1 (1955), pp. 235–237. - M. Przełęcki. Jeszcze w sprawie logiki (Once again concerning logic). Myśl filozoficzna, no. 2 (1955), pp. 118–121. - J. Wróblewski. W sprawie wykładu logiki dla prawników (Concerning the course of logic for the students of law). Myśl filozoficzna, no. 3 (1955), pp. 110–116. - J. Gregorowicz. Kilka uwag w sprawie logiki dla prawników (Some remarks on logic for the students of law). Myśl filozoficzna, no. 4 (1955), pp. 171–173. - A. Grzegorczyk. Uwagi o nauczaniu logiki (Remarks concerning the teaching of logic). Myśl filozoficzna, no. 4 (1955), pp. 174–177. - A. Podgórecki. W sprawie błędów w nauczaniu logiki (Concerning errors in the teaching of logic). Myśl filozoficzna, nos. 5–6 (1955), pp. 244–256. - J. Giedymin. W sprawie sposobu nauczania logiki (Concerning ways of the teaching of logic). Myśl filozoficzna, no. 2 (1956), pp. 113–120. - T. Kotarbiński. Sprawa logiki w przededniu rozstrzygnięć (Forthcoming decisions about logical studies). Myśl filozoficzna, no. 2 (1956), pp. 121–125. - K. Ajdukiewicz. W sprawie programów logiki usługowej (Concerning curricula of logic as an auxiliary subject). Myśl filozoficzna, no. 2 (1956), pp. 126–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
- Print publication:
- June 1962
-
- Article
- Export citation
C. C. Chang and Anne C. Morel. On closure under direct product. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 149–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-235
- Print publication:
- June 1962
-
- Article
- Export citation
Arnold Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 (1962), S. 297–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
- Print publication:
- June 1962
-
- Article
- Export citation
Clifford Spector. Measure-theoretic construction of incomparable hyperdegrees. The journal of symbolic logic, vol. 23 (for 1958, pub. 1959), pp. 280–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
- Print publication:
- June 1962
-
- Article
- Export citation
Independence proofs in predicate logic with infinitely long expressions
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-188
- Print publication:
- June 1962
-
- Article
- Export citation
B. A. Trahténbrot. Ob opératorah réalizuémyh v logičéskih sétah (On operators realizable in logical nets). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 1005–1007.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
- Print publication:
- June 1962
-
- Article
- Export citation
Stephen C. Kleene. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 154–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- June 1962
-
- Article
- Export citation
H. Arnold Schmidt. Über einige neuere Untersuchungen zur Modalitätenlogik. Deutsch, mit deutschem, französischem und englischem Résumé. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 204–217; auch Dialectica, Bd. 12 (1958), S. 408–421. - Ein Bericht über Verf.'s XVI 230; Abstract in diesem Journal, Bd. 20, S. 94; Das fundamentale Implikationensystem einer implikativen Modalitätenstrukiur mit idempotenter Möglichkeit(Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 (1956), S. 33–54); Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen (ebd., Bd. 3 H. 1–2 (1957), S. 29–49); und G. Emdes Kriterien für die Herleitbarkeit in Modalitätenstrukturen (ebd., Bd. 3 H. 3–4 (1958), S. 79–111).
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 230
- Print publication:
- June 1962
-
- Article
- Export citation
A. A. Markov. Theory of algorithms. English Translation by Jacques J. Schorr-kon, and Program for Scientific Translations staff. Published for the National Science Foundation, Washington, D.C., and the Department of Commerce by the Israel Program for Scientific Translations, Jerusalem1961, 444 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1962
-
- Article
- Export citation
B. Germansky. The induction axiom and the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 219–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 237
- Print publication:
- June 1962
-
- Article
- Export citation
P. S. Novikov. O néprotivoréčivosti nékotoryh logičéskih isčislénij (On the consistency of some logical calculi). 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. 71–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- June 1962
-
- Article
- Export citation
Ú. I. Ánov and A. A. Mučnik. O suščéstvovanii k-značnyh zamknutyh klassov, né iméúščih konéčnogo bazisa (On the existence of k-valued closed classes not having a finite basis). Doklady Akademii Nauk SSSR, vol. 127 (1959), pp. 44–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
- Print publication:
- June 1962
-
- Article
- Export citation
J. M. Pugmire and A. Rose. Formulae corresponding to universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 1–9. - A. Rose. The use of universal decision elements as flip-flops. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 169–174. - Alan Rose. Nouvelle méthode pour déterminer les formules qui correspondent à des éléments universels de décision. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 249 (1959), pp. 870–872.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1962
-
- Article
- Export citation
Georg Kreisel. Hilbert's programme. Englisch, mit englischem und deutschem Résumé. Ebd., S. 142–168; auch ebd., S. 346–372.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
- Print publication:
- June 1962
-
- Article
- Export citation
Ernst Specker. Dualität. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 247–261; auch ebd., S. 451–465.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 231
- Print publication:
- June 1962
-
- Article
- Export citation
B. A. Trachtenbrot. Wieso können Automaten rechnen? Deutsche Übersetzung von Algoritmy i mašinnoé rešénié zadač von Karl-Heinz Rupp. VEB Deutscher Verlag der Wissenschaften, Berlin1959, 101 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
- Print publication:
- June 1962
-
- Article
- Export citation
Alan Rose. Many-valued logical machines. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 307–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1962
-
- Article
- Export citation