13629 results in The Journal of Symbolic Logic
Minimal invariant spaces in formal topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-698
- Print publication:
- September 1997
-
- Article
- Export citation
Accessible categories, saturation and categoricity
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-901
- Print publication:
- September 1997
-
- Article
- Export citation
Complete representations in algebraic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 816-847
- Print publication:
- September 1997
-
- Article
- Export citation
A logical presentation of the continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1021-1034
- Print publication:
- September 1997
-
- Article
- Export citation
Levi Isaac. For the sake of the argument. Ramsey test conditionals, inductive inference, and nonmonotonic reasoning. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xv + 341 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1041-1043
- Print publication:
- September 1997
-
- Article
- Export citation
Hailperin Theodore. Sentential probability logic. Origins, development, current status, and technical applications. Lehigh University Press, Bethlehem, Pennsylvania, and Associated University Presses, London, 1996, 304 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1040-1041
- Print publication:
- September 1997
-
- Article
- Export citation
Peano arithmetic may not be interpretable in the monadic theory of linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 848-872
- Print publication:
- September 1997
-
- Article
- Export citation
Lower bounds for resolution and cutting plane proofs and monotone computations
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 981-998
- Print publication:
- September 1997
-
- Article
- Export citation
Rothberger's property and partition relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 976-980
- Print publication:
- September 1997
-
- Article
- Export citation
A characterization of Martin's axiom in terms of absoluteness
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-372
- Print publication:
- June 1997
-
- Article
- Export citation
Chris Mortensen. Inconsistent mathematics. Mathematics and its applications, vol. 312. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, ix + 155 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-685
- Print publication:
- June 1997
-
- Article
- Export citation
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 457-486
- Print publication:
- June 1997
-
- Article
- Export citation
Yu. V. Matiyasevich. Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow1993, 223 pp. - Christos H. Papadimitriou. Computational complexity. Addison-Wesley Publishing Company, Reading, Mass., etc., 1994, xv + 523 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-678
- Print publication:
- June 1997
-
- Article
- Export citation
Generalized nonsplitting in the recursively enumerable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-437
- Print publication:
- June 1997
-
- Article
- Export citation
Roger Penrose. Shadows of the mind. A search for the missing science of consciousness. Oxford University Press, Oxford, New York, and Melbourne, 1994, xvi + 457 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-675
- Print publication:
- June 1997
-
- Article
- Export citation
Louveau's theorem for the descriptive set theory of internal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 595-607
- Print publication:
- June 1997
-
- Article
- Export citation
JSL volume 62 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1997
-
- Article
-
- You have access
- Export citation
Advances in linear logic, edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society lecture note series, no. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, vii + 389 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-680
- Print publication:
- June 1997
-
- Article
- Export citation
The dense linear ordering principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-456
- Print publication:
- June 1997
-
- Article
- Export citation
On the unification problem for Cartesian closed categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-647
- Print publication:
- June 1997
-
- Article
- Export citation