9 results
A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 201–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- June 1973
-
- Article
- Export citation
Kurt Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York1968, VII + 87 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 522
- Print publication:
- September 1971
-
- Article
- Export citation
Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 289–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
- Print publication:
- September 1970
-
- Article
- Export citation
B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 (1966), pp. 175–181.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
- Print publication:
- February 1970
-
- Article
- Export citation
B. van Rootselaar. On intuitionistic difference relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1960), pp. 316–322; also Inda-gationes mathematicae, vol. 22 (1960), pp. 316-322. - B. van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 132–133; also ibid., vol. 25 (1963), pp. 132-133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
- Print publication:
- 17 November 1969
-
- Article
- Export citation
John Myhill. Notes towards an axiomatization of intuitionistic logic. Logique et analyse, n.s. vol. 9 (1966), pp. 280–297.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Clifford Spector. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- June 1967
-
- Article
- Export citation
W. W. Tait. Functionals defined by transfinite recursion. The journal of symbolic logic, vol. 30 (1965), pp. 155–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
- Print publication:
- 02 September 1966
-
- Article
- Export citation