13629 results in The Journal of Symbolic Logic
Angelo Margaris. First order mathematical logic. Blaisdell Publishing Company, Waltham, Massachusetts, Toronto, and London, 1967, x + 211 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
- Print publication:
- September 1972
-
- Article
- Export citation
J. R. Shoenheld. Applications of model theory to degrees of unsolvability. 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. 359–363.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-611
- Print publication:
- September 1972
-
- Article
- Export citation
A. R. Meo. A theorem for synthetizing combinational networks. Alta frequenza (Rome), vol. 36 (1967), pp. 146–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. 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, pp. 68–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
- Print publication:
- September 1972
-
- Article
- Export citation
On power-like models for hyperinaccessible cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-537
- Print publication:
- September 1972
-
- Article
- Export citation
Carlos E. Alchourrón. Logic of norms and logic of normative propositions. Logique et analyse, n.s. vol. 12 (1969), pp. 242–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
- Print publication:
- September 1972
-
- Article
- Export citation
Martin Davis and Hilary Putnam. Diophantine sets over polynomial rings. Illinois journal of mathematics, vol. 7 (1963), pp. 251–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
- Print publication:
- September 1972
-
- Article
- Export citation
J. W. Thatcher and J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical systems theory, vol. 2 (1968), pp. 57–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
- Print publication:
- September 1972
-
- Article
- Export citation
A note on frame extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-545
- Print publication:
- September 1972
-
- Article
- Export citation
J. R. Shoenheld. Some applications of degrees. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 56–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 610
- Print publication:
- September 1972
-
- Article
- Export citation
On n-quantifier induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-482
- Print publication:
- September 1972
-
- Article
- Export citation
C. E. M. Yates. A minimal pair of recursively enumerable degrees. The journal of symbolic logic, vol. 31 (1966), pp. 159–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
- Print publication:
- September 1972
-
- Article
- Export citation
P. M. LewisII, R. E. Stearns, and J. Hartmanis. Memory bounds for recognition of context-free and context-sensitive languages. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 191–202. See Errata, ibid., p. 190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- September 1972
-
- Article
- Export citation
B. Rotman and G. T. Kneebone. The theory ofsets and transfinite numbers. Oldbourne mathematical series, Oldbourne, London, and Daniel Davey & Co., Inc., New York, 1966, x + 144 pp.; also American Elsevier Publishing Company, Inc., New York 1968, x + 144 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 614
- Print publication:
- September 1972
-
- Article
- Export citation
JSL volume 37 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1972
-
- Article
-
- You have access
- Export citation
JSL volume 37 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- September 1972
-
- Article
-
- You have access
- Export citation
Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal. Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor. Academic Press, New York and London1971, xii + 433 pp. - Mark Aronowitsch Aiserman, L. A. Gussew, L. I. Rosonoer, I. M. Smirnova, and A. A. Tal. Logik—Automaten—Algorithmen. Revised German translation of the same by Rudolf Herschel. R. Oldenbourg Verlag, Munich and Vienna1967, X + 431 pp. - M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal. Logika, automaty a algoritmy. Czech translation of the same by Jaroslav Volčik, Miroslav Mleziva, and Antonín Mykiska. Československá Akademie Věd, Prague1971, 407 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354–357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
- Print publication:
- September 1972
-
- Article
- Export citation
R. E. Krichevskii. Realization of functions by superpositions. English translation of XXXVII 639 by G. R. Kiss. Problems of cybernetics, vol. 2 (1961), pp. 458–477.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-627
- Print publication:
- September 1972
-
- Article
- Export citation
Gerhard Tintner. Foundations of probability and statistical inference. The journal of the Royal Statistical Society, ser. A vol. 112 part 3 (1949), pp. 251–279. - G. A. Barnard, F. J. Anscombe, Bartlett, W. Perks, J. R. N. Stone, J. O. Irwin, and G. Tintner. Discussion. The journal of the Royal Statistical Society, ser. A vol. 112 part 3 (1949), pp. 280–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
- Print publication:
- September 1972
-
- Article
- Export citation