13629 results in The Journal of Symbolic Logic
Michael R. Genesereth and Nils J. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1304-1307
- Print publication:
- September 1990
-
- Article
- Export citation
Tadeusz Kotarbiński. Wykłady z dziejów logiki (Lectures from the history of logic). Państwowe Wydawnictwo Naukowe, Warsaw1985, 226 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1322-1324
- Print publication:
- September 1990
-
- Article
- Export citation
Warren Goldfarb. Poincaré against the logicists. History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 61–81. - Michael Friedman. Logical truth and analyticity in Carnap's “Logical syntax of language.”History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 82–94. - Gregory H. Moore. The emergence of first-order logic. History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 95–135. - Joseph W. Dauben. Abraham Robinson and nonstandard analysis: history, philosophy, and foundations of mathematics. History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 177–200. - Howard Stein. Logos, logic, and logistiké: some philosophical remarks on nineteenth-century transformation of mathematics. History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 238–259.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1315-1319
- Print publication:
- September 1990
-
- Article
- Export citation
Intermediate predicate logics determined by ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1099-1124
- Print publication:
- September 1990
-
- Article
- Export citation
Partitioning pairs of countable sets of ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1019-1021
- Print publication:
- September 1990
-
- Article
- Export citation
Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1326
- Print publication:
- September 1990
-
- Article
- Export citation
The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 909-927
- Print publication:
- September 1990
-
- Article
- Export citation
Théories d'algèbres de Boole munies d'idéaux distingués. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1192-1212
- Print publication:
- September 1990
-
- Article
- Export citation
Alexander Broadie. Introduction to medieval logic. Clarendon Press, Oxford University Press, Oxford and New York1987, vi + 150 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1320-1322
- Print publication:
- September 1990
-
- Article
- Export citation
A. G. Dragalin. Matématičéskij intuicionizm. Vvédénié v téoriú dokazatél'stv. Russian original of the preceding. Matématičéskaá logika i osnovaniá matématiki, “Nauka,”Moscow1979, 256 pp. - D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer. Proceedings of the Royal Society of London, ser. A vol. 400 (1985), pp. 97–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1309-1310
- Print publication:
- September 1990
-
- Article
- Export citation
The special model axiom in nonstandard analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1233-1242
- Print publication:
- September 1990
-
- Article
- Export citation
The axiomatization of randomness
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1167
- Print publication:
- September 1990
-
- Article
- Export citation
S. B. Grantham. Galvin's “racing pawns” game and a well-ordering of trees. Memoirs of the American Mathematical Society, no. 316. American Mathematical Society, Providence1985, iv + 63 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1310-1311
- Print publication:
- September 1990
-
- Article
- Export citation
Reducts of (C, +, ·) which contain +
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1243-1251
- Print publication:
- September 1990
-
- Article
- Export citation
Rich models
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1292-1298
- Print publication:
- September 1990
-
- Article
- Export citation
Piergiorgio Odifreddi. Classical recursion theory. The theory of functions and sets of natural numbers. Studies in logic and the foundations of mathematics, vol. 125. North-Holland, Amsterdam etc. 1989, xvii + 668 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1307-1308
- Print publication:
- September 1990
-
- Article
- Export citation
On the angular component map modulo P
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1125-1129
- Print publication:
- September 1990
-
- Article
- Export citation
The Complexity of intrinsically r.e. subsets of existentially decidable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1213-1232
- Print publication:
- September 1990
-
- Article
- Export citation
A. G. Dragalin. Mathematical intuitionism. Introduction to proof theory. English translation by E. Mendelson of Matématičéskij intuicionizm, Vvédénié v téoriúdokazatél'stv. Translations of mathematical monographs, vol. 67. American Mathematical Society, Providence1988, ix + 228 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1308-1309
- Print publication:
- September 1990
-
- Article
- Export citation
Undecidability and initial segments of the (r.e.) tt-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 987-1006
- Print publication:
- September 1990
-
- Article
- Export citation