13630 results in The Journal of Symbolic Logic
K. Wiśniewski. Weakened forms of the axiom of choice for finite sets. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 16 (1968), pp. 615–620.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
- Print publication:
- September 1971
-
- Article
- Export citation
Fred B. Wright. Ideals in apolyadic algebra. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 544–546.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
- Print publication:
- September 1971
-
- Article
- Export citation
Jason Xenakis. Truth-functional perturbations. Logique et analyse., n. s. vol. 12 (1969), pp. 275–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 551
- Print publication:
- September 1971
-
- Article
- Export citation
Nonstandard topology and extensions of monad systems to infinite points
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-476
- Print publication:
- September 1971
-
- Article
- Export citation
E. I. Nechiporuk. On the synthesis of logical nets in incomplete and degenerate basis. English translation of XXXVI 570(5). Soviet physics, Doklady, vol 9 no. 3 (1964), pp. 207–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 548
- Print publication:
- September 1971
-
- Article
- Export citation
Charles Hartshorne. Ten ontological or modal proofs for God's existence. The logic of perfection and other essays in neoclassical metaphysics, by Charles Hartshorne, The Open Court Publishing Company, La Salle, Illinois, 1962, pp. 28–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
- Print publication:
- September 1971
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-575
- Print publication:
- September 1971
-
- Article
- Export citation
Alan Rose. A formalisation of the m-valued Łukasiewicz propositional calculus with super-designated truth-values. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 295–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 546
- Print publication:
- September 1971
-
- Article
- Export citation
O. B. Lupanov. Complexity of formula realization of functions of logical algebra. English translation of XXXVI 571(12) by G. R. Kiss. Problems of cybernetics, vol. 3 (1962), pp. 782–811.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 547-548
- Print publication:
- September 1971
-
- Article
- Export citation
Maria Kokoszyńska. Deduction as a method of proof. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 271–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 551
- Print publication:
- September 1971
-
- Article
- Export citation
A quasi-intumonistic set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-460
- Print publication:
- September 1971
-
- Article
- Export citation
A. H. Lachlan. The impossibility of finding relative complements for recursively enumerable degrees. The journal of symbolic logic, vol. 31 (1966), pp. 434–454.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-540
- Print publication:
- September 1971
-
- Article
- Export citation
S. I. Adán. Problema algoritma (Problem of algorithm). Nauka i žizn′, no. 8 (1957), pp. 13–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
- Print publication:
- September 1971
-
- Article
- Export citation
O. B. Lupanov. Implementing the algebra of logic functions in terms of bounded depth formulas in the basis of &, ν, ¯. English translation of XXXVI 572. Soviet physics, Doklady, vol. 6 no. 2 (1961), pp. 107–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 547
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá néprédvarénnyh formul konstruktivnogo isčisléniá prédikatov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 123–133. - G. E. Mints. Analog of Herbrand's theorem for [non] prenex formulas of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969. pp. 47–51. (See Erratum, Studies in constructive mathematics and mathematical logic, Part II edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, p. 136.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
- Print publication:
- September 1971
-
- Article
- Export citation
Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- September 1971
-
- Article
- Export citation
Leônidas Hegenberg. Lógica elementar. I.T.A. Departamento de Humanidades, São Paulo1962, v + 203 pp. - Leônidas Hegenberg. Lógica simbólica.Editôra Herder, São Paulo1966, XXI + 376 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
- Print publication:
- September 1971
-
- Article
- Export citation
A. D. Zakrevskii. A visual-matrix method for minimizing Boolean functions. English translation of XXXVI 572. Automation and remote control, vol. 21 (1960), pp. 255–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 549
- Print publication:
- September 1971
-
- Article
- Export citation
Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 211–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-534
- Print publication:
- September 1971
-
- Article
- Export citation
Andrzej Mostowski. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility. Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 (1965), pp. 135–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
- Print publication:
- September 1971
-
- Article
- Export citation