13629 results in The Journal of Symbolic Logic
Undecidable Lt theories of topological abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-772
- Print publication:
- December 1981
-
- Article
- Export citation
Michael Machtey and Paul Young. An introduction to the general theory of algorithms. The computer science library, Theory of computation series. North-Holland, New York, Oxford, and Shannon, 1978, vii + 264 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 877-878
- Print publication:
- December 1981
-
- Article
- Export citation
Recursive Boolean algebras with recursive atoms
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 595-616
- Print publication:
- September 1981
-
- Article
- Export citation
Peter A. Facione and Donald Scherer. Logic and logical thinking: a modular approach. McGraw-Hill Book Company, New York etc. 1978, xii + 495 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
- Print publication:
- September 1981
-
- Article
- Export citation
M.D. Krol′. The topological models of intuitionistic analysis. One counterexample. Mathematical notes, vol. 19 (1976), pp. 503–504. (English translation of K topologičéskim modélám intuicionistskogo analiza, Odin kontrprimér, Matématičéskié zamétki, vol. 19 (1976), pp. 859–862.) - M. D. Krol. A topological model for intuitionistic analysis with Kripke's scheme. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 427–436. - M. D. Krol′. Distinct variants of Kripke's schema in intuitionistic analysis. Soviet mathematics, vol. 19 (1978), pp. 474–477. (English translation by B. F. Wells of Različnyé varianty shémy Kripké v intuicionistskom analizé, Doklady Akadémii Nauk SSSR, vol. 239 (1978), pp. 1048–1051.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
- Print publication:
- September 1981
-
- Article
- Export citation
JSL volume 46 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1981
-
- Article
-
- You have access
- Export citation
Producing measurable cardinals beyond κ
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-648
- Print publication:
- September 1981
-
- Article
- Export citation
Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 (1979), pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 (1980), pp. 30–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-665
- Print publication:
- September 1981
-
- Article
- Export citation
Recursive isomorphism types of recursive Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 572-594
- Print publication:
- September 1981
-
- Article
- Export citation
The metamathematics of model theory: Discovering language in action
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-498
- Print publication:
- September 1981
-
- Article
- Export citation
Brian F. Chellas. Modal logic. An introduction. Cambridge University Press, Cambridge etc. 1980, xii + 295 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-672
- Print publication:
- September 1981
-
- Article
- Export citation
Twilight graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-571
- Print publication:
- September 1981
-
- Article
- Export citation
Some facts about Kurt Gödel
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-659
- Print publication:
- September 1981
-
- Article
- Export citation
Matatyahu Rubin. Theories of linear order. Israel journal of mathematics, vol. 17 (1974), pp. 392–443.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
- Print publication:
- September 1981
-
- Article
- Export citation
Predicate functors revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-652
- Print publication:
- September 1981
-
- Article
- Export citation
Isomorphism of structures in S-toposes
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-459
- Print publication:
- September 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 690-702
- Print publication:
- September 1981
-
- Article
- Export citation
Wolfgang Maass. Inadmissibility, tame r.e. sets and the admissible collapse. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 149–170.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-667
- Print publication:
- September 1981
-
- Article
- Export citation
Preservation of saturation and stability in a variety of nilpotent groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-512
- Print publication:
- September 1981
-
- Article
- Export citation
H. Andréka, T. Gergely, and I. Németi. On universal algebraic constructions of logics. Studia logica, vol. 36 (1977), pp. 9–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
- Print publication:
- September 1981
-
- Article
- Export citation