13629 results in The Journal of Symbolic Logic
Amitabha Ghose. Konstruktive Grundlagen der Logik. Sonne Verlag, New Delhi1966, vi + 40 + 2 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
- Print publication:
- February 1968
-
- Article
- Export citation
J. R. Shoenfield. A theorem on minimal degrees. The journal of symbolic logic, vol. 31 (1966), pp. 539–544.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
- Print publication:
- February 1968
-
- Article
- Export citation
A. Ehrenfeucht and S. Feferman. Representability of recursively enumerable sets informal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 (1959), pp. 37–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 530
- Print publication:
- February 1968
-
- Article
- Export citation
Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 17–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
- Print publication:
- February 1968
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 550-555
- Print publication:
- February 1968
-
- Article
- Export citation
Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 (1965), pp. 271–292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-538
- Print publication:
- February 1968
-
- Article
- Export citation
Daniel Lacombe. Sur la méthode extensive en métamathématique. La revue scientifique, vol. 85 (1947), pp. 515–518.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 531
- Print publication:
- February 1968
-
- Article
- Export citation
John McCarthy. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 219–227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
- Print publication:
- February 1968
-
- Article
- Export citation
Thomas H. MottJr., Determination of the ir redundant normal forms of a truth function by iterated consensus of the prime implicants. IRE transactions on electronic computers, vol. EC-9 (1960), pp. 245–252. - D. M. Y. Chang and T. H. MottJr., Computing irredundant normal forms from abbreviated presence functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 335–342.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-542
- Print publication:
- February 1968
-
- Article
- Export citation
Herbert Hochberg. On pegasizing. Philosophy and phenomenological research, vol. 17 no. 4 (1957), pp. 551–554. - Vernon Dolphin. Mr. Hochberg, Mr. Quine and the theory of description. Philosophy and phenomenological research, vol. 19 no. 2 (1958), pp. 246–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
- Print publication:
- February 1968
-
- Article
- Export citation
Meeting of the association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 556-573
- Print publication:
- February 1968
-
- Article
- Export citation
L. Jonathan Cohen. Why do Cretans have to say so much?Philosophical studies (Minneapolis), vol. 12 (1961), pp. 72–78. - A. N. Prior. Indirect speech again. Philosophical studies (Minneapolis), vol. 14 (1963), pp. 12–15. - L. Jonathan Cohen. Indirect speech: A rejoinder to Prof. A. N. Prior. Philosophical studies (Minneapolis), vol. 14 (1963), pp. 15–18. - A. N. Prior. Indirect speech and extensionality. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 35–38. - L. Jonathan Cohen. Indirect speech: A further rejoinder to Professor Prior. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 38–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
- Print publication:
- February 1968
-
- Article
- Export citation
A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj (Note on the proof of the existence of standard models). Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-532
- Print publication:
- February 1968
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-647
- Print publication:
- February 1968
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Słupecki. Dowód pelności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii (A proof of the completeness of the classical propositional calculus on the ground of an axiomatic methodology). Matematyka, fizyka, astronomia, III, Acta Universitatis Wratislaviensis, no. 12, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1962, pp. 11–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-537
- Print publication:
- February 1968
-
- Article
- Export citation
Á. M. Barzdin′. Ob odnom klassé mašin T′ύringa (mašiny Minskogo) (On a class of Turing machines (Minsky machines)). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 42–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
- Print publication:
- February 1968
-
- Article
- Export citation
P. C. Gilmore. An addition to “Logic of many-sorted theories.”Compositio mathematica, vol. 13 (1956–1958), pp. 277–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- February 1968
-
- Article
- Export citation
Takeo Sugihara. Kindai ronrigaku (Modern logic). Sankibô, Tokyo1960, 134 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-544
- Print publication:
- February 1968
-
- Article
- Export citation
An infinitistic rule of proof1
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-451
- Print publication:
- February 1968
-
- Article
- Export citation
P. Lorenzen. Ein dialogisches Konstruktwitätskriterium. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 193–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- February 1968
-
- Article
- Export citation