13629 results in The Journal of Symbolic Logic
Eugene L. Lawler. An approach to multilevel Boolean minimization. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 283–295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
- Print publication:
- January 1969
-
- Article
- Export citation
Ph. Dwinger. Notes on Post algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 69 (1966), pp. 462–478; also Indagationes mathematicae, vol. 28 (1966), pp. 462–478.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- January 1969
-
- Article
- Export citation
Bolesław Sobociński. A note on the generalized continuum hypothesis. Notre Dame Journal of formal logic, vol. 3 (1962), pp. 274–278, and vol. 4 (1963), pp. 67–79, 233–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
- Print publication:
- January 1969
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Tautological entailments. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 9–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 608
- Print publication:
- January 1969
-
- Article
- Export citation
A notion of effectiveness in arbitrary structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 577-602
- Print publication:
- January 1969
-
- Article
- Export citation
K. I. Appel and T. G. McLaughlin. On properties of regressive sets. Transactions of the American Mathematical Society, vol. 115 (1965), pp. 83–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 621
- Print publication:
- January 1969
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-644
- Print publication:
- January 1969
-
- Article
- Export citation
Ronald Prather. Computational aids for determining the minimal form of a truth function. Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 299–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- January 1969
-
- Article
- Export citation
Jules Vuillemin. De la logique à la théologie. Cinq études sur Aristote.Flammarion, Paris1967, 235 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
- Print publication:
- January 1969
-
- Article
- Export citation
An unsolved problem in the theory of constructive order types
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 565-567
- Print publication:
- January 1969
-
- Article
- Export citation
R. L. Goodstein. A decidable fragment of recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 199–201.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
- Print publication:
- January 1969
-
- Article
- Export citation
Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 (1965), pp. 562–567.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
- Print publication:
- January 1969
-
- Article
- Export citation
The semisubstitutivity of strict implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-464
- Print publication:
- 10 October 1968
-
- Article
- Export citation
The post correspondence problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-430
- Print publication:
- 10 October 1968
-
- Article
- Export citation
A. A. Lápunov. O logičéskih shémah programm. Problémy kibérnétiki, vol. 1 (1958), pp. 46–74. - A. A. Lyapunov. The logical structure of programmes. English translation of the preceding. Problems of cybernetics, vol. 1 (1960), pp. 48–81. - A. A. Ljapunow. Über logische Programm-Schemata. German translation of the same. Probleme der Kybernetik, vol. 1 (1962), pp. 53–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Ú. V. Matiásévič. Prostyé priméry nérazréšimyh associativnyh isčislénij. Doklady Akadémii Nauk, vol. 173 (1967), pp. 1264–1266. - Ju. V. Matijasevič. Simple examples of undecidable associative calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 8 no. 2 (1967), pp. 555–557.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
- Print publication:
- 10 October 1968
-
- Article
- Export citation
C. C. Chang and H. Jerome Keisler. An improved prenex nomal form. The journal of symbolic logic, vol. 27 no. 3 (for 1962, pub. 1963), pp. 317–326.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
- Print publication:
- 10 October 1968
-
- Article
- Export citation
M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 (1966), pp. 581–592.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
- Print publication:
- 10 October 1968
-
- Article
- Export citation
L. Bukowský and K. Příkry. Some matamathematical properties of measurable cardinals. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 9–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Niko Prijatelj. Uvod v matematično logiko (Introduction to mathematical logic). Mladinska Knjiga, Ljubljana1960, 150 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-481
- Print publication:
- 10 October 1968
-
- Article
- Export citation