13629 results in The Journal of Symbolic Logic
Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 675-677
- Print publication:
- June 1997
-
- Article
- Export citation
Canonical seeds and Prikry trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-396
- Print publication:
- June 1997
-
- Article
- Export citation
Some applications of coarse inner model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-365
- Print publication:
- June 1997
-
- Article
- Export citation
Completeness of global intuitionistic set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 506-528
- Print publication:
- June 1997
-
- Article
- Export citation
Remarks on Galois cohomology and definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 487-492
- Print publication:
- June 1997
-
- Article
- Export citation
Special selection in logic in computer science
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, p. 608
- Print publication:
- June 1997
-
- Article
- Export citation
Polynomial time operations in explicit mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-594
- Print publication:
- June 1997
-
- Article
- Export citation
Product-free Lambek calculus and context-free grammars
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-660
- Print publication:
- June 1997
-
- Article
- Export citation
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 (1995), pp. 109–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 686-687
- Print publication:
- June 1997
-
- Article
- Export citation
Relativized logspace and generalized quantifiers over finite ordered structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-574
- Print publication:
- June 1997
-
- Article
- Export citation
The order types of termination orderings on monadic terms, strings and multisets
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-635
- Print publication:
- June 1997
-
- Article
- Export citation
Jan von Plato. The axioms of constructive geometry. Annals of pure and applied logic, vol. 76 (1995), pp. 169–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-688
- Print publication:
- June 1997
-
- Article
- Export citation
Definability in functional analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-505
- Print publication:
- June 1997
-
- Article
- Export citation
y = 2x VS. y = 3x
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-672
- Print publication:
- June 1997
-
- Article
- Export citation
Infinitary logics and very sparse random graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-623
- Print publication:
- June 1997
-
- Article
- Export citation
On the complexity of propositional quantification in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-544
- Print publication:
- June 1997
-
- Article
- Export citation
Set theory, Annual Boise Extravaganza in Set Theory (BEST) conference, March 13–15, 1992, April 10–11, 1993, March 25–27,1994, Boise State University, Boise, Idaho, edited by Tomek Bartoszyński and Marion Scheepers, Contemporary mathematics, vol. 192, American Mathematical Society, Providence1996, xii + 184 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 680-683
- Print publication:
- June 1997
-
- Article
- Export citation
JSL volume 62 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1997
-
- Article
-
- You have access
- Export citation
Norman M. Martin and Stephen Pollard. Closure spaces and logic. Mathematics and its applications, vol. 369. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, xvii + 230 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-686
- Print publication:
- June 1997
-
- Article
- Export citation
Splitting number at uncountable cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-42
- Print publication:
- March 1997
-
- Article
- Export citation