13629 results in The Journal of Symbolic Logic
Ketan Mulmuley. Full abstraction and semantic equivalence. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xv + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1141-1143
- Print publication:
- September 1992
-
- Article
- Export citation
1-reducibility inside an m-degree with a maximal set
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1046-1056
- Print publication:
- September 1992
-
- Article
- Export citation
Baire numbers, uncountable Cohen sets and perfect-set forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1086-1107
- Print publication:
- September 1992
-
- Article
- Export citation
Leo Bachmair. Canonical equational proofs. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, x + 135 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1140-1141
- Print publication:
- September 1992
-
- Article
- Export citation
Countable structures of given age
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 992-1010
- Print publication:
- September 1992
-
- Article
- Export citation
On decidable varieties of Heyting algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 988-991
- Print publication:
- September 1992
-
- Article
- Export citation
The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1120-1130
- Print publication:
- September 1992
-
- Article
- Export citation
Johan van Benthem. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874. Synthese library, vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxii + 280 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1138
- Print publication:
- September 1992
-
- Article
- Export citation
Rules of inference with parameters for intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 912-923
- Print publication:
- September 1992
-
- Article
- Export citation
Recursion theory in a lower semilattice
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-911
- Print publication:
- September 1992
-
- Article
- Export citation
What is an inference rule?
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1018-1045
- Print publication:
- September 1992
-
- Article
- Export citation
Nonexistence of universal orders in many cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 875-891
- Print publication:
- September 1992
-
- Article
- Export citation
JSL volume 57 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1992
-
- Article
-
- You have access
- Export citation
JSL volume 57 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1992
-
- Article
-
- You have access
- Export citation
Non-finite-axiomatizability results in algebraic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 832-843
- Print publication:
- September 1992
-
- Article
- Export citation
A proof-theoretic characterization of the primitive recursive set functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 954-969
- Print publication:
- September 1992
-
- Article
- Export citation
Nichtklassische Logik, Eine Einführung, second, revised edition, edited by Lothar Kreiser, Siegfried Gottwald, and Werner Stelzner, Akademie-Verlag, Berlin1990, xiii + 437 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1138-1140
- Print publication:
- September 1992
-
- Article
- Export citation
Sy D. Friedman. The -singleton conjecture. Journal of the American Mathematical Society, vol. 3 no. 4 (for 1990, pub. 1991), pp. 771–791.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1136-1137
- Print publication:
- September 1992
-
- Article
- Export citation
Filters on the space of partitions Qκ(λ)
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 769-778
- Print publication:
- September 1992
-
- Article
- Export citation
Jan Paredaens, Paul de Bra, Marc Gyssens, and Dirk van Gucht. The structure of the relational database model. EATCS monographs on theoretical computer science, vol. 17. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1989, x + 231 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
- Print publication:
- June 1992
-
- Article
- Export citation