13629 results in The Journal of Symbolic Logic
Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 39–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
- Print publication:
- June 1967
-
- Article
- Export citation
M. L. Cétlin. Matričnyj métod analiza i sintéza eléktronno-impul'snyh i réléno-kontaktnyh (néprimitivnyh) shém (Matrix method of analysis and synthesis of pulse-electronic and relay-contact (non-primitive) circuits). Doklady Akadémii Nauk SSSR, vol. 117 (1957), pp. 979–982.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 134
- Print publication:
- June 1967
-
- Article
- Export citation
A Gentzen-type calculus of sequents for single-operator propositional logic*
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-80
- Print publication:
- June 1967
-
- Article
- Export citation
J. L. Britton. Solution of the word problem for certain types of groups. I.Proceedings of the Glasgow Mathematical Association, vol. 3 (1956–1958), pp. 45–54. - J. L. Britton. Solution of the word problem for certain types of groups. II.Proceedings of the Glasgow Mathematical Association, vol. 3 (1956–1958), pp. 68–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- June 1967
-
- Article
- Export citation
Hao Wang. The mechanization of mathematical arguments. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 31–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- June 1967
-
- Article
- Export citation
Clifford Spector. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- June 1967
-
- Article
- Export citation
Binary connectives functionally complete by themselves in S5 modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
- Print publication:
- June 1967
-
- Article
- Export citation
Francesca Rivetti Barbò. Il “senso e significato” di Frege: Ricerca teoretica sul senso è designato delle espressioni, e sui valori di verità. Studi di filosofia e di storia della filosofia in onore di Francesco Olgiati, Società Editrice Vita e Pensiero, Milan1962, pp. 420–483.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- June 1967
-
- Article
- Export citation
W. V. Quine. Variables explained away. Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343–347. Reprinted in Selected logic papers, by W. V. Quine, Random House, New York, pp. 227–235.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- June 1967
-
- Article
- Export citation
I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 (1959), pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 191–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- June 1967
-
- Article
- Export citation
Günther Patzig. Die Aristotelische Syllogistik. Logisch-philologische Untersuchungen über das Buch A der” Ersten Analytiken”Second, revised, edition of XXXI 102. Abhandlungen der Akademie der Wissenschaften in Göttingen, Philologisch-historische Klasse, ser. 3 no. 42. Vandenhoeck & Ruprecht, Göttingen1963, VI + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- June 1967
-
- Article
- Export citation
Connexive class logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-90
- Print publication:
- June 1967
-
- Article
- Export citation
Arnold Oberschelp. Ein Satz über die Unlösbarkeitsgrade der Mengen von natürlichen Zahlen. Abhandlungen der Braunschweigische Wissenschaftliche Gesellschaft (Brunswick), vol. 12 (1960), pp. 1–3.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
- Print publication:
- June 1967
-
- Article
- Export citation
Omitting types of prenex formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-74
- Print publication:
- June 1967
-
- Article
- Export citation
Martin Davis. Eliminating the irrelevant from mechanical proofs. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 15–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
- Print publication:
- June 1967
-
- Article
- Export citation
Gilbert Varet and Paul Kurtz, editors. International directory of philosophy and philosophers. Humanities Press, Inc., New York1966, 235 pp. - Raili Kauppi. Note on philosophical trends in Finland. Therein, pp. 74–75. - Anthony Quinton. Philosophy in Great Britain. Therein, pp. 106–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- June 1967
-
- Article
- Export citation
Notice of a new periodical: The Journal of Value Inquiry
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- June 1967
-
- Article
- Export citation
A complete and consistent modal set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-103
- Print publication:
- June 1967
-
- Article
- Export citation
Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- June 1967
-
- Article
- Export citation
H. Gaifman. Infinite Boolean polynomials I.Fundamenta mathematicae, vol. 54 (1964), pp. 229–250. (See Errata, ibid., vol. 57 no. 1 (1965), p. 117.) - A. W. Hales. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 (1964), pp. 45–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- June 1967
-
- Article
- Export citation