13629 results in The Journal of Symbolic Logic
Logical studies in early analytic philosophy, by Nino B. Cocchiarella, Ohio State University Press, Columbus 1987, xii + 293 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1107
- Print publication:
- September 1991
-
- Article
- Export citation
Who were the American postulate theorists?
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 981-1002
- Print publication:
- September 1991
-
- Article
- Export citation
Définissabilité dans les corps de fonctions p-adiques
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-785
- Print publication:
- September 1991
-
- Article
- Export citation
Corrigendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 811-812
- Print publication:
- September 1991
-
- Article
-
- You have access
- Export citation
A construction of type: type in Martin-Löf's partial type theory with one universe
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1012-1015
- Print publication:
- September 1991
-
- Article
- Export citation
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 964-973
- Print publication:
- September 1991
-
- Article
- Export citation
JSL volume 56 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1991
-
- Article
-
- You have access
- Export citation
Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1101-1102
- Print publication:
- September 1991
-
- Article
- Export citation
A second order version of S 2 i and U 2 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1038-1063
- Print publication:
- September 1991
-
- Article
- Export citation
Making the hyperreal line both saturated and complete
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1016-1025
- Print publication:
- September 1991
-
- Article
- Export citation
1990 Annual meeting of the australasian association for logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1114
- Print publication:
- September 1991
-
- Article
- Export citation
On bad groups, bad fields, and pseudoplanes
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 915-931
- Print publication:
- September 1991
-
- Article
- Export citation
Uwe Schöning. Complexity theory and interaction. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 561–580.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1092
- Print publication:
- September 1991
-
- Article
- Export citation
European summer meeting of the association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1150
- Print publication:
- September 1991
-
- Article
- Export citation
Michael J. Beeson. Computerizing mathematics: logic and computation. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 191–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1091
- Print publication:
- September 1991
-
- Article
- Export citation
Collected works, Volume II, Publications 1938–1974, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr. , Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Oxford University Press, New York and Oxford 1990, xv + 407 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1089
- Print publication:
- September 1991
-
- Article
- Export citation
Relative recursive enumerability of generic degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1084
- Print publication:
- September 1991
-
- Article
- Export citation
Small stable groups and generics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1026-1037
- Print publication:
- September 1991
-
- Article
- Export citation
Model-theoretic properties characterizing Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 949-963
- Print publication:
- September 1991
-
- Article
- Export citation
JSL volume 56 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1991
-
- Article
-
- You have access
- Export citation