13629 results in The Journal of Symbolic Logic
Seymour Ginsburg. Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol. 2. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xii + 313 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 788-789
- Print publication:
- December 1976
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 792-824
- Print publication:
- December 1976
-
- Article
- Export citation
Embedding first order predicate logic in fragments of intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-718
- Print publication:
- December 1976
-
- Article
- Export citation
Comparison of Russell's resolution of the semantical antinomies with that of Tarski
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 747-760
- Print publication:
- December 1976
-
- Article
- Export citation
A. I. Mal'cév. Algébraičéskié sistémy. Russian original of the foregoing. Izdatél'stvo “Nauka,” Moscow1970, 392 pp. - Thomas J. Jech. The axiom of choice. Studies in logic and the foundations of mathematics, vol. 75. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, XI + 202 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 784-785
- Print publication:
- December 1976
-
- Article
- Export citation
Higher Souslin trees and the generalized continuum hypothesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-671
- Print publication:
- September 1976
-
- Article
- Export citation
Co-hypersimple structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-625
- Print publication:
- September 1976
-
- Article
- Export citation
Degrees of classes of RE sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 695-696
- Print publication:
- September 1976
-
- Article
- Export citation
Categoricity regained
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-643
- Print publication:
- September 1976
-
- Article
- Export citation
Hanf numbers for omitting types over particular theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-588
- Print publication:
- September 1976
-
- Article
- Export citation
Patrick K. Bastable. Logic: depth grammar of rationality. A textbook on the science and history of logic. Gill and Macmillan, Dublin 1975, vii + 429 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, p. 700
- Print publication:
- September 1976
-
- Article
- Export citation
JSL volume 41 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1976
-
- Article
-
- You have access
- Export citation
Australasian Association for Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
- Print publication:
- September 1976
-
- Article
- Export citation
On definable subsets of p-adic fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-610
- Print publication:
- September 1976
-
- Article
- Export citation
Types of simple α-recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-694
- Print publication:
- September 1976
-
- Article
- Export citation
The theory of the Gödel functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-582
- Print publication:
- September 1976
-
- Article
- Export citation
Noncomplex sequences: characterizations and examples1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-638
- Print publication:
- September 1976
-
- Article
- Export citation
On the complexity of the theories of weak direct powers
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 561-573
- Print publication:
- September 1976
-
- Article
- Export citation
Special Notice
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, p. 703
- Print publication:
- September 1976
-
- Article
- Export citation
Undecidable properties of finite sets of equations
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-604
- Print publication:
- September 1976
-
- Article
- Export citation