13629 results in The Journal of Symbolic Logic
Joseph Barback. Two notes on regressive isols. Pacific journal of mathematics, vol. 15 (1966), pp. 407–420.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
- Print publication:
- February 1968
-
- Article
- Export citation
Gerald E. Sacks. On a theorem of Lachlan and Martin. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 140–141.
-
- 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
Abraham Robinson. Proving a theorem (as done by man, logician, or machine). Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 350–352.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 522
- Print publication:
- February 1968
-
- Article
- Export citation
Stanisław Kamiński. Reguly sylogizmów z uwzględnieniem schematów o zaprzeczonym podmiocie (Rules for syllogisms with the consideration of schemata with negated subject terms). Polish, with Russian and English summaries. Studia logica, vol. 16 (1965), pp. 45–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 544
- Print publication:
- February 1968
-
- Article
- Export citation
Jürgen Schmidt. Peano-Bäume. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 225–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 542-543
- Print publication:
- February 1968
-
- Article
- Export citation
S. Tennenbaum. Degree of unsolvability and the rate of growth of functions. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 71–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
- Print publication:
- February 1968
-
- Article
- Export citation
Joachim Metz. Grundriβ einer allgemeinen Schaltungstheorie (Analyse). German, with German, English, and Russian summaries. Elektronische Informationsverarbeitung und Kybernetik (Berlin), vol. 1 no. 1 (1965), pp. 32–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
- Print publication:
- February 1968
-
- Article
- Export citation
A. Heyting. Infinitistic methods from a finitist point of view. 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. 185–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
- Print publication:
- February 1968
-
- Article
- Export citation
Chr. Klixbüll Jørgensen. A classification of categorical propositions. Logique et analyse, n.s. vol. 7 (1964), pp. 233–256.
-
- 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
Ann H. Ihrig. The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability. Notre Dame journal of formal logic, vol. 6 no. 1 (1965), pp. 54–72.
-
- 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
D. E. Rutherford. Introduction to lattice theory. Oliver & Boyd, Edinburgh, and Hafner Publishing Company, New York, 1965, x + 117 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
- Print publication:
- February 1968
-
- Article
- Export citation
Burton Dreben and John Denton. A supplement to Herbrand. The journal of symbolic logic, vol. 31 (1966), pp. 393–398.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
- Print publication:
- February 1968
-
- Article
- Export citation
Angelo Raffaele Meo. On the minimal third order expression of a Boolean function. Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, October 7–12, 1962, American Institute of Electrical Engineers, New York1962, pp. 5–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
- Print publication:
- February 1968
-
- Article
- Export citation
Bjarni Jónsson. Universal relational systems. Mathematica Scandinavia, vol. 4 (1956), pp.193–208. - B. Jónsson. Homogeneous universal relational systems. Mathematica Scandinavia, vol. 8 (1960), pp. 137–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
- Print publication:
- February 1968
-
- Article
- Export citation
Lennart Âqvist. A new approach to the logical theory of interrogatives. Part I. Analysis. Filosofiska föreningen i Uppsala, Uppsala1965, iv + 174 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-404
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Ryszard Nowakowski. Structuralna teoria automatów skończonych określonych za pomocą matryc (A structural theory of matrix-defined finite automata). Polish, with Russian and English summaries. Studia logica, vol. 16 (1965), pp. 75–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- 09 October 1967
-
- Article
- Export citation
F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
- Print publication:
- 09 October 1967
-
- Article
- Export citation
A. Białynicki–Birula. Remarks on quasi–Boolean algebras. Bulletin de l′Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 615–619.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Richard Montague. Logical necessity, physical necessity, ethics, and quantifiers. Inquiry (Oslo), vol. 3 (1960), pp. 259–269.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-401
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Patrick Suppes. Mathematical logic for the schools. The arithmetic teacher, vol. 9 (1962), pp. 396–399. - Patrick Suppes and Frederick Binford. Experimental teaching of mathematical logic in the elementary school. The arithmetic teacher, vol. 12 (1965), Pp. 187–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
- Print publication:
- 09 October 1967
-
- Article
- Export citation