13629 results in The Journal of Symbolic Logic
James L. Hein. Discrete structures, logic, and computability. Jones and Bartlett, Boston and London1995, xx + 866 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1494-1496
- Print publication:
- December 1997
-
- Article
- Export citation
Prototypes for definable subsets of algebraically closed valued fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1141
- Print publication:
- December 1997
-
- Article
- Export citation
Non-constructive Galois-Tukey connections
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1179-1186
- Print publication:
- December 1997
-
- Article
- Export citation
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1490
- Print publication:
- December 1997
-
- Article
- Export citation
Proofs of strong normalisation for second order classical natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1461-1479
- Print publication:
- December 1997
-
- Article
- Export citation
JSL volume 62 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1997
-
- Article
-
- You have access
- Export citation
Alexander S. Kechris. Classical descriptive set theory. Graduate texts in mathematics, no. 156. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1995, xviii + 402 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1490-1491
- Print publication:
- December 1997
-
- Article
- Export citation
Scientific discovery based on belief revision
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1352-1370
- Print publication:
- December 1997
-
- Article
- Export citation
sets of reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1379-1428
- Print publication:
- December 1997
-
- Article
- Export citation
The structure of intrinsic complexity of learning
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1187-1201
- Print publication:
- December 1997
-
- Article
- Export citation
William J. Mitchell and John R. Steel. Fine structure and iteration trees. Lecture notes in logic, no. 3. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, v + 130 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1493
- Print publication:
- December 1997
-
- Article
- Export citation
J. Denef and L. van den Dries. p-Adic and real subanalytic sets. Annals of mathematics, ser. 2 vol. 128 (1988), pp. 79–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1483
- Print publication:
- December 1997
-
- Article
- Export citation
Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1173-1178
- Print publication:
- December 1997
-
- Article
- Export citation
Power types in explicit mathematics?
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1142-1146
- Print publication:
- December 1997
-
- Article
- Export citation
Simple forcing notions and forcing axioms
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1297-1314
- Print publication:
- December 1997
-
- Article
- Export citation
Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1280-1296
- Print publication:
- December 1997
-
- Article
- Export citation
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1487
- Print publication:
- December 1997
-
- Article
- Export citation
Type two cuts, bad cuts and very bad cut
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1241-1252
- Print publication:
- December 1997
-
- Article
- Export citation
Zorn's lemma and complete Boolean algebras in intuitionistic type theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1265-1279
- Print publication:
- December 1997
-
- Article
- Export citation
The complexity of the modal predicate logic of “true in every transitive model of ZF”
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1371-1378
- Print publication:
- December 1997
-
- Article
- Export citation