13629 results in The Journal of Symbolic Logic
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 999-1000
- Print publication:
- September 1984
-
- Article
- Export citation
Harry R. Lewis and Christos H. Papadimitriou. Elements of the theory of computation. Prentice-Hall software series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981, xiv + 466 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-990
- Print publication:
- September 1984
-
- Article
- Export citation
Idempotent ideals on abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 813-817
- Print publication:
- September 1984
-
- Article
- Export citation
B. Courcelle. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302. - J. W. de Barker and J. I. Zucker. Derivatives of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343. - E. Engeler. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 990-991
- Print publication:
- September 1984
-
- Article
- Export citation
Register machine proof of the theorem on exponential diophantine representation of enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 818-829
- Print publication:
- September 1984
-
- Article
- Export citation
B. J. Copeland. On when a semantics is not a semantics: some reasons for disliking the Routley–semantics for relevance logic. Journal of philosophical logic, vol. 8 (1979), pp. 399–413.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 994-995
- Print publication:
- September 1984
-
- Article
- Export citation
Some remarks on initial segments in models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 955-960
- Print publication:
- September 1984
-
- Article
- Export citation
Characteristically simple ℵ0-categorical groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-907
- Print publication:
- September 1984
-
- Article
- Export citation
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912. - Solomon Feferman. D.4. Theories of finite type related to mathematical practice. Pp. 913–971. - A. S. Troelstra. D.5. Aspects of constructive mathematics. Pp. 973–1052. - Michael P. Fourman. D.6. The logic of topoi. Pp. 1053–1090. - Henk P. Barendregt. D.1. The type free lambda calculus. Pp. 1091–1132. - Jeff Paris and Leo Harrington. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 980-988
- Print publication:
- September 1984
-
- Article
- Export citation
Kueker's conjecture for superstable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 930-934
- Print publication:
- September 1984
-
- Article
- Export citation
Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-802
- Print publication:
- September 1984
-
- Article
- Export citation
On the period of sequences (An(p)) in intuitionistic propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-899
- Print publication:
- September 1984
-
- Article
- Export citation
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-729
- Print publication:
- September 1984
-
- Article
- Export citation
Strongly compact cardinals, elementary embeddings and fixed points
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 808-812
- Print publication:
- September 1984
-
- Article
- Export citation
Hans Kamp. The paradox of the heap. Aspects of philosophical logic, Some logical forays into central notions of linguistics and philosophy, edited by Uwe Mönnich, Synthese library, vol. 147, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 225–277.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 991-993
- Print publication:
- September 1984
-
- Article
- Export citation
On supervaluations in free logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 943-950
- Print publication:
- September 1984
-
- Article
- Export citation
The strength of admissibility without foundation
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 867-879
- Print publication:
- September 1984
-
- Article
- Export citation
Self-reference with negative types
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-773
- Print publication:
- September 1984
-
- Article
- Export citation
Deux remarques à propos de la propriété de recouvrement fini
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-807
- Print publication:
- September 1984
-
- Article
- Export citation
Accessible sets and (Lω1ω)t-equivalence for T3 spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 961-967
- Print publication:
- September 1984
-
- Article
- Export citation