15 results
Descriptive epidemiology of coronavirus disease 2019 in Nigeria, 27 February–6 June 2020
-
- Journal:
- Epidemiology & Infection / Volume 148 / 2020
- Published online by Cambridge University Press:
- 11 September 2020, e208
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp vii-viii
-
- Chapter
- Export citation
Preface to the Series
-
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Preface to the Serie
-
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
The next admissible set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-120
- Print publication:
- March 1971
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Manchester 1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-612
- Print publication:
- December 1970
-
- Article
- Export citation
P. B. Andrews. A transfinite type theory with type variables. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, xv + 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Arthur Pap. Types and meaninglessness. Mind, n.s. vol. 69 (1960), pp. 41–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- December 1960
-
- Article
- Export citation
On the axiom of extensionality, Part II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 4 / December 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-300
- Print publication:
- December 1959
-
- Article
- Export citation
Ludwik Borkowski. Systems of the propositional and of the functional calculus based on one primitive term. English, with Polish and Russian summaries. Studia logica, vol. 6 (1957), pp. 7–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
- Print publication:
- September 1959
-
- Article
- Export citation
William W. Boone. An analysis of Turing's “The word problem in semi-groups with cancellation.”Annals of mathematics, ser. 2 vol. 67 (1958), pp. 195–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 239
- Print publication:
- September 1959
-
- Article
- Export citation
N. Bourbaki. Théorie des ensembles. Éléments de Mathématique, Première partie, Livre I, Chapitres I, II. Actualités scientifiques et industrielles 1212. Hermann & Cie, Paris1954, title pages + 136 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-73
- Print publication:
- March 1959
-
- Article
- Export citation
Maurice L'Abbé. Systems of transfinite types involving λ-conversion. The journal of symbolic logic, vol. 18 (1953), pp. 209–224.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
- Print publication:
- September 1958
-
- Article
- Export citation
Topological Transformation Groups. By D. Montgomery and L. Zippin (Interscience tracts in pure and applied mathematics No. 1). pp. 281. $5.50. 1955. (Interscience Publishers Inc., New York & London)
-
- Journal:
- The Mathematical Gazette / Volume 41 / Issue 336 / May 1957
- Published online by Cambridge University Press:
- 03 November 2016, pp. 141-142
- Print publication:
- May 1957
-
- Article
- Export citation
On the axiom of extensionality – Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-48
- Print publication:
- March 1956
-
- Article
- Export citation