23 results
Microwave Processing - An Emerging Industrial Technology?
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 347 / 1994
- Published online by Cambridge University Press:
- 15 February 2011, 3
- Print publication:
- 1994
-
- 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
Correction to ‘A model theoretic characterisation of effective operations’
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
- Print publication:
- June 1974
-
- Article
- Export citation
A reduction theorem for predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-354
- Print publication:
- June 1972
-
- Article
- Export citation
A model theoretic characterization of effective operations
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-222
- Print publication:
- June 1970
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-496
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Extensional interpretations of modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 23-45
- Print publication:
- March 1966
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Leeds 1962
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-382
- Print publication:
- September 1962
-
- Article
- Export citation
Die geistige Arbeit. By Andreas Speiser. Pp. 207. 1955. (Birkhäuser, Basle)
-
- Journal:
- The Mathematical Gazette / Volume 41 / Issue 338 / December 1957
- Published online by Cambridge University Press:
- 03 November 2016, p. 310
- Print publication:
- December 1957
-
- Article
- Export citation
Geist und Wirklichkeit. By K. Reidemeister. Pp. iii, 92. DM 8.60 1953. (Springer, Berlin). - Die Unsachlichkeit des Exitentialismus. By K. Reidemeister. Pp. iv 40. DM 4.80. 1954 (Springer, Berlin).
-
- Journal:
- The Mathematical Gazette / Volume 40 / Issue 333 / October 1956
- Published online by Cambridge University Press:
- 03 November 2016, pp. 226-227
- Print publication:
- October 1956
-
- Article
- Export citation
Formal systems of constructive mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-75
- Print publication:
- March 1956
-
- Article
- Export citation
Solution of a problem of Leon Henkin1
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-118
- Print publication:
- June 1955
-
- Article
- Export citation
Concatenation as basis for a complete system of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-6
- Print publication:
- March 1953
-
- Article
- Export citation
A note on Morley's trisector theorem
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 36 / Issue 4 / October 1940
- Published online by Cambridge University Press:
- 24 October 2008, pp. 401-413
- Print publication:
- October 1940
-
- Article
- Export citation
A Theorem by Wakeford* and its Extensions to Hyperspace†
-
- Journal:
- The Mathematical Gazette / Volume 20 / Issue 240 / October 1936
- Published online by Cambridge University Press:
- 03 November 2016, pp. 264-271
- Print publication:
- October 1936
-
- Article
- Export citation
Some GeometricaL Applications of Vectors
-
- Journal:
- The Mathematical Gazette / Volume 20 / Issue 237 / February 1936
- Published online by Cambridge University Press:
- 03 November 2016, pp. 37-43
- Print publication:
- February 1936
-
- Article
- Export citation
The Orthocentric Simplex in Space of Three and Higher Dimensions*
-
- Journal:
- The Mathematical Gazette / Volume 19 / Issue 233 / May 1935
- Published online by Cambridge University Press:
- 03 November 2016, pp. 102-108
- Print publication:
- May 1935
-
- Article
- Export citation
Some chains of theorems derived by successive projection
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 29 / Issue 1 / January 1933
- Published online by Cambridge University Press:
- 24 October 2008, pp. 45-51
- Print publication:
- January 1933
-
- Article
- Export citation
Le Probleme de Malfatti, le Pendule de Foucault et Autres Questions d’Analyse et de Physique. Par Louis Gérard. (Paris, Librairie Vuibert.)
-
- Journal:
- The Mathematical Gazette / Volume 15 / Issue 207 / May 1930
- Published online by Cambridge University Press:
- 03 November 2016, p. 120
- Print publication:
- May 1930
-
- Article
- Export citation
Note on Kühne's Theorem
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 24 / Issue 3 / July 1928
- Published online by Cambridge University Press:
- 24 October 2008, pp. 375-378
- Print publication:
- July 1928
-
- Article
- Export citation