30 results
Consensus and variations in opinions on delirium care: a survey of European delirium specialists
-
- Journal:
- International Psychogeriatrics / Volume 25 / Issue 12 / December 2013
- Published online by Cambridge University Press:
- 20 August 2013, pp. 2067-2075
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A structural study of the (Na1−xKx)0.5Bi0.5TiO3 perovskite series as a function of substitution (x) and temperature
-
- Journal:
- Powder Diffraction / Volume 17 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 06 March 2012, pp. 301-319
-
- Article
- Export citation
Allen Hazen. Predicative logics. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 331–407.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1092-1094
- Print publication:
- September 1989
-
- Article
- Export citation
Marian Boykan Pour-El and Ian Richards. A computable ordinary differential equation which possesses no computable solution, Annals of mathematical logic, vol. 17 (1979), pp. 61–90. - Marian Boykan Pour-El and Ian Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in mathematics, vol. 39 (1981), pp. 215–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 4 / December 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-902
- Print publication:
- December 1982
-
- Article
- Export citation
Which number theoretic problems can be solved in recursive progressions on Π11-paths through O?
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-334
- Print publication:
- June 1972
-
- Article
- Export citation
Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
- Print publication:
- March 1972
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-332
- Print publication:
- June 1970
-
- Article
- Export citation
A survey of proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-388
- Print publication:
- 10 October 1968
-
- Article
- Export citation
A. S. Ésénine-Volpine. Le programme ultra-intuitionniste des fondements des mathématiques. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 201–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
- Print publication:
- February 1968
-
- Article
- Export citation
P. Lorenzen. Ein dialogisches Konstruktwitätskriterium. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 193–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- February 1968
-
- Article
- Export citation
A. Heyting. Infinitistic methods from a finitist point of view. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 185–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
- Print publication:
- February 1968
-
- Article
- Export citation
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-358
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Metarecursive sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-338
- Print publication:
- September 1965
-
- Article
- Export citation
Reviews - J. Ritter. Vorwort. Mathesis universalis; Abhandlungen zur Philosophie als strenger Wissenschaft, by Heinrich Scholz, edited by Hans Hermes, Friedrich Kambartel, and Joachim Ritter, Benno Schwabe & Co. Verlag, Basel and Stuttgart1961, pp. 7–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-288
- Print publication:
- December 1963
-
- Article
- Export citation
Beweistheorie. By K. Schütte. Pp. xii + 356. DM 45. 1960. (Springer-Verlag, Berlin).
-
- Journal:
- The Mathematical Gazette / Volume 46 / Issue 357 / October 1962
- Published online by Cambridge University Press:
- 03 November 2016, pp. 250-255
- Print publication:
- October 1962
-
- Article
- Export citation
On weak completeness of intuitionistic predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-158
- Print publication:
- June 1962
-
- Article
- Export citation
Marc Krasner. Théorie de la définition. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 (1957), pp. 325–357, and vol. 37 (1958), pp. 53–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
- Print publication:
- September 1959
-
- Article
- Export citation
Reviews - A. Grzegorczyk. Computable functionals. Fundamenta mathematicae, vol. 42 (1955), pp. 168–202. - A. Grzegorczyk. On the definition of computable functionals. Ibid., pp. 232–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-51
- Print publication:
- March 1959
-
- Article
- Export citation
S. C. Kleene. A note on computable functionals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 275–280; also Indagationes mathematicae, vol. 18 (1956), pp. 275–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
- Print publication:
- March 1959
-
- Article
- Export citation
A remark on free choice sequences and the topological completeness proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-388
- Print publication:
- December 1958
-
- Article
- Export citation