18 results
Preface to the Series Perspectives in Mathematical Logic
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Part D - Second-Order Logic
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 443-444
-
- Chapter
- Export citation
Model-Theoretic Logics
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
Part C - Infinitary Languages
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 269-270
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Part E - Logics of Topology and Analysis
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 507-508
-
- Chapter
- Export citation
Part F - Advanced Topics in Abstract Model Theory
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 597-598
-
- Chapter
- Export citation
Part B - Finitary Languages with Additional Quantifiers
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 121-122
-
- Chapter
- Export citation
Contents
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xi-xvi
-
- Chapter
- Export citation
List of Contributors
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xvii-xviii
-
- Chapter
- Export citation
Preface
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp vii-x
-
- Chapter
- Export citation
Part A - Introduction, Basic Theory and Examples
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-2
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-349
- Print publication:
- March 1987
-
- 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
Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 195–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
- Print publication:
- December 1971
-
- Article
- Export citation
R. L. Vaught. Sentences true in all constructive models. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 39–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- March 1966
-
- Article
- Export citation
Incompleteness along paths in progressions of theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-390
- Print publication:
- December 1962
-
- Article
- Export citation