13629 results in The Journal of Symbolic Logic
JSL volume 48 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1983
-
- Article
-
- You have access
- Export citation
Core models
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-90
- Print publication:
- March 1983
-
- Article
- Export citation
On the standard part of nonstandard models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-38
- Print publication:
- March 1983
-
- Article
- Export citation
Neil Tennant. Natural logic. Edinburgh University Press, Edinburgh1978, ix + 196 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-217
- Print publication:
- March 1983
-
- Article
- Export citation
Zohar Manna. Lectures on the logic of computer programming. CBMS-NSF regional conference series in applied mathematics, no. 31. Society for Industrial and Applied Mathematics, Philadelphia1980, iv + 49 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- March 1983
-
- Article
- Export citation
Andrzej Grzegorczyk. Zarys logiki matematycznej. Biblioteka matematyczna, vol. 20. Państwowe Wydawnictwo Naukowe, Warsaw1961, 477 pp. - Andrzej Grzegorczyk. Zarys logiki matematycznej. Second, revised and enlarged, edition of the preceding and Polish original of An outline of mathematical logic. Biblioteka matematyczna, vol. 20. Państwowe Wydawnictwo Naukowe, Warsaw1969, 505 pp. - Andrzej Grzegorczyk. Zarys logiki matematycznej. Third revised edition. Biblioteka matematyczna, vol. 20. Państwowe Wydawnictwo Naukowe, Warsaw1973, 510 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
- Print publication:
- March 1983
-
- Article
- Export citation
On generic extensions without the axiom of choice1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-52
- Print publication:
- March 1983
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
- Print publication:
- March 1983
-
- Article
- Export citation
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-70
- Print publication:
- March 1983
-
- Article
- Export citation
Countable models of nonmultidimensional ℵ0-stable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-205
- Print publication:
- March 1983
-
- Article
- Export citation
Son of George and V = L
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-77
- Print publication:
- March 1983
-
- Article
- Export citation
Dag Normann. Degrees of functionals. Annals of mathematical logic, vol. 16 (1979), pp. 269–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- March 1983
-
- Article
- Export citation
A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-20
- Print publication:
- March 1983
-
- Article
- Export citation
Hyperhypersimple supersets in admissible recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-192
- Print publication:
- March 1983
-
- Article
- Export citation
Andrzej Grzegorczyk. An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej. Synthese library, vol. 70. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1974, X + 596 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-222
- Print publication:
- March 1983
-
- Article
- Export citation
QE rings in characteristic pn
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-162
- Print publication:
- March 1983
-
- Article
- Export citation
JSL volume 48 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1983
-
- Article
-
- You have access
- Export citation
The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-170
- Print publication:
- March 1983
-
- Article
- Export citation
Omitting types, type spectrums, and decidability1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-181
- Print publication:
- March 1983
-
- Article
- Export citation
Indiscernibles and decidable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 21-32
- Print publication:
- March 1983
-
- Article
- Export citation