13629 results in The Journal of Symbolic Logic
On the degrees of unsolvability of modal predicate logics of provability
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 1 / March 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-261
- Print publication:
- March 1994
-
- Article
- Export citation
Schur-Zassenhaus theorem revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 1 / March 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-291
- Print publication:
- March 1994
-
- Article
- Export citation
Logical frameworks, edited by Gérard Huet and G. Plotkin, Cambridge University Press, Cambridge etc. 1991, xii + 403 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1469-1472
- Print publication:
- December 1993
-
- Article
- Export citation
Stationary subsets of [ℵω]<ωn
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1201-1218
- Print publication:
- December 1993
-
- Article
- Export citation
The First Iranian Summer School in Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1476
- Print publication:
- December 1993
-
- Article
- Export citation
Johan van Benthem. Language in action. Categories, lambdas and dynamic logic. Studies in logic and the foundations of mathematics, vol. 130. North-Holland, Amsterdam, New York, etc., 1991, x + 349 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1472-1475
- Print publication:
- December 1993
-
- Article
- Export citation
An existence theorem for a special ultrafilter when 𝔡 = 𝔠
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1359-1364
- Print publication:
- December 1993
-
- Article
- Export citation
Counting the maximal intermediate constructive logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1365-1401
- Print publication:
- December 1993
-
- Article
- Export citation
1992 Annual Meeting of the Australasian Association for Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1477-1484
- Print publication:
- December 1993
-
- Article
- Export citation
A relativization mechanism in recursion categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1251-1267
- Print publication:
- December 1993
-
- Article
- Export citation
Belief contraction in the context of the general theory of rational choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1426-1450
- Print publication:
- December 1993
-
- Article
- Export citation
Thin equivalence relations and effective decompositions
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1153-1164
- Print publication:
- December 1993
-
- Article
- Export citation
Directions in relevant logic, edited by Jean Norman and Richard Sylvan, Reason and argument, vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, xii + 453 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1466-1468
- Print publication:
- December 1993
-
- Article
- Export citation
Luis E. Sanchis. Recursive functional. Studies in logic and the foundations of mathematics, vol. 131. North-Holland, Amsterdam etc. 1992, xii + 277 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1468-1469
- Print publication:
- December 1993
-
- Article
- Export citation
Forcing isomorphism
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1291-1301
- Print publication:
- December 1993
-
- Article
- Export citation
A remark on locally pure measures
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1165-1170
- Print publication:
- December 1993
-
- Article
- Export citation
On the number of automorphisms of uncountable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1402-1418
- Print publication:
- December 1993
-
- Article
- Export citation
Proof, logic and formalization, edited by Michael Detlefsen, Routledge, London and New York1992, x + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1459-1462
- Print publication:
- December 1993
-
- Article
- Export citation
JSL volume 58 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1993
-
- Article
-
- You have access
- Export citation
Anita Burdman Feferman. Politics, logic, and love. The life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, xv + 415 pp. - Solomon Feferman. Jean van Heijenoort's scholarly work, 1948–1986. Therein, pp. 371–390.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1465-1466
- Print publication:
- December 1993
-
- Article
- Export citation