18 results
Neutron Star Extreme Matter Observatory: A kilohertz-band gravitational-wave detector in the global network
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 37 / 2020
- Published online by Cambridge University Press:
- 05 November 2020, e047
-
- Article
-
- You have access
- HTML
- Export citation
Identifying Nanometer-scale Clustering in InAlAsSb Random Alloys Using Atom Probe Tomography
-
- Journal:
- Microscopy and Microanalysis / Volume 23 / Issue S1 / July 2017
- Published online by Cambridge University Press:
- 04 August 2017, pp. 718-719
- Print publication:
- July 2017
-
- Article
-
- You have access
- Export citation
Kurt Gödel and the Consistency of R##
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 247-256
-
- 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
Contributors
-
-
- Book:
- Comprehensive Management of Arteriovenous Malformations of the Brain and Spine
- Published online:
- 05 January 2015
- Print publication:
- 08 January 2015, pp x-xiv
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Burdens of Mental Disorders
- Print publication:
- 09 May 2013, pp ix-xii
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- An Introduction to Clinical Emergency Medicine
- Published online:
- 05 May 2012
- Print publication:
- 10 April 2012, pp xi-xvi
-
- Chapter
- Export citation
Effects of Marathi-Hindi Bilingualism on Neuropsychological Performance
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 18 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 30 December 2011, pp. 305-313
-
- Article
- Export citation
The science of EChO
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 6 / Issue S276 / October 2010
- Published online by Cambridge University Press:
- 10 November 2011, pp. 359-370
- Print publication:
- October 2010
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 359-361
- Print publication:
- September 2007
-
- Article
- Export citation
In Memoriam: Richard (Routley) Sylvan 1935-1996
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 338-340
- Print publication:
- September 1998
-
- Article
-
- You have access
- Export citation
Whither relevant arithmetic?
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-831
- Print publication:
- September 1992
-
- Article
- Export citation
A contractionless semilattice semantics
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-529
- Print publication:
- June 1987
-
- Article
- Export citation
Inconsistent models for relevant arithmetics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 917-929
- Print publication:
- September 1984
-
- Article
- Export citation
Rolf Schock. On finitely many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 43–58. Errata. Ibid., p. 195. - Rolf Schock. On denumerably many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 190–195. - R. Schock. Some theorems on the relative strengths of many-valued logics. Logique et analyse, n.s. vol. 8 (1965), pp. 101–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-142
- Print publication:
- March 1970
-
- Article
- Export citation
E, R AND γ
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-474
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Universally free logic and standard quantification theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-26
- Print publication:
- 26 April 1968
-
- Article
- Export citation