13629 results in The Journal of Symbolic Logic
On the incompleteness theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1414-1419
- Print publication:
- December 1994
-
- Article
- Export citation
Mixed systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1383-1399
- Print publication:
- December 1994
-
- Article
- Export citation
Initial segments of the lattice of ideals of r.e. degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1326-1350
- Print publication:
- December 1994
-
- Article
- Export citation
The critical number of a variable in a function
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1228-1244
- Print publication:
- December 1994
-
- Article
- Export citation
Effective versions of Ramsey's Theorem: Avoiding the cone above 0′
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1301-1325
- Print publication:
- December 1994
-
- Article
- Export citation
On the number of models of uncountable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1285-1300
- Print publication:
- December 1994
-
- Article
- Export citation
Logical foundations of functional programming, edited by Gérard Huet, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1439-1441
- Print publication:
- December 1994
-
- Article
- Export citation
José Luis Balcázar, Josep Díaz, and Joaquim Gabarró. Structural complexity I. EATCS monographs on theoretical computer science, vol. 11. Springer-Verlag, Berlin etc. 1988, ix + 191 pp. - José Luis Balcázar, Josep Díaz, and Joaquim Gabarró. Structural complexity II. EATCS monographs on theoretical computer science, vol. 22. Springer-Verlag, Berlin etc. 1990, ix + 283 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1436-1437
- Print publication:
- December 1994
-
- Article
- Export citation
Hereditary undecidability of some theories of finite structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1254-1262
- Print publication:
- December 1994
-
- Article
- Export citation
Possible behaviours for the Mitchell ordering II
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1196-1209
- Print publication:
- December 1994
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1450-1491
- Print publication:
- December 1994
-
- Article
- Export citation
On first-order theories with provability operator
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1139-1153
- Print publication:
- December 1994
-
- Article
- Export citation
Strictly primitive recursive realizability, I
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1210-1227
- Print publication:
- December 1994
-
- Article
- Export citation
Definability of types, and pairs of O-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1400-1409
- Print publication:
- December 1994
-
- Article
- Export citation
The consistency strength of an infinitary Ramsey property
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1158-1195
- Print publication:
- December 1994
-
- Article
- Export citation
1993 Annual Meeting of the Australasian Association for Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1443-1449
- Print publication:
- December 1994
-
- Article
- Export citation
Characterising subsets of ω1 constructible from a real
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1420-1432
- Print publication:
- December 1994
-
- Article
- Export citation
Boris Trakhtenbrot. Comparing the Church and Turing approaches: two prophetical messages. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unversagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 603–630.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1434-1436
- Print publication:
- December 1994
-
- Article
- Export citation
Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1437-1439
- Print publication:
- December 1994
-
- Article
- Export citation
On countable fractions from an elementary class
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1410-1413
- Print publication:
- December 1994
-
- Article
- Export citation