This is a preview of subscription content, log in via an institution to check access.
Bibliography
Brouwer, L. E. J., 1918, ‘Begründung der Mengenlehre unabhangig vom logischen Statz vom ausgeschlossenen Dritten. Erster Teil: Algemeiner Mengenlehre’. Verhandelingen der Koninklijke Nederlandsche Akademie van Wetenschappen te Amsterdam, 12, No. 5, 43 pp.
Brouwer, L. E. J., 1924, ‘Zur Begründung der intuitionistischen Mathematik I’, Math. Annalen 93, 244–257.
Brouwer, L. E. J., 1925, ‘Intuitionistische Zerlegung mathematischer Grundbegriffe’, Jahresbericht deutsch. Math. Ver. 33, 251–256.
Brouwer, L. E. J., 1929, ‘Mathematik, Wissenschaft und Sprach’, Monatshefte für Mathematik und Physik 36, 53–164.
Brouwer, L. E. J., 1933, ‘Willen, weten, spreken’, Euclides, Groningen 9, 177–193.
Brouwer, L. E. J., 1948, ‘Esentieel negatieve eigenschappen’, Proc. Kon. Ned. Akad. Amsterdam 51, 963–965 (=Indagationes mathematicae 10, 322–324).
Brouwer, L. F. J., 1948a, ‘Opmerkingen over het beginsel van het uitgesloten derde en over negatieve asserties’, Proc. Kon. Ned. Akad. Amsterdam, 51, 1239–1244 (=Indag. math. 10, 383–388).
Brouwer, L. E. J., 1952, ‘Historical Background, Principles and Methods of Intuitionism’, South African J. Sci. 49, 139–146.
vanDantzig, D., 1949, ‘Comments on Brouwer's Theorem on Essentially Negative Predicates’, Proc. Kon. Ned. Akad. Wet. Amsterdam 52, 949–957 (=Indag. Math. 11, 347–355).
Gentzen, G., 1935, ‘Untersuchungen über das logische Schliessen’, Math. Zeitschrift 39, 176–210, 405–431.
Heyting, A., 1930, ‘Die formalen Regeln der intuitionistischen Logik’, Sitsungsberichte der Preussischen Akademie der Wissenschaften. Physikalish-mathematische Klasse, 1930, 42–56.
Heyting, A., 1930a, ‘Die formalen Regeln der intuitionistischen Mathematik’ Ibid., 57–71, 158–169.
Heyting, A., 1958, ‘Intuitionism in Mathematics’, in: Philosophy in Mid-Century, R. Klibansky (ed.), La Nuova Italia Editrice, Firenze, pp. 101–115.
Heyting, A., 1966, Intuitionism: An Introduction, second edition, North Holland Publishing Company, Amsterdam, ix + 137 pp.
Hintikka, J., 1962, Knowledge and Belief, Cornell University Press, Ithaca, x + 179 pp.
Kleene, S. C., 1950, ‘Recursive Functions and Intuitionistic Mathematics’, Proc. International Congress of Mathematicians (Cambridge, Mass., Aug. 30–Sept. 6, 1950) 1 679–685.
Kleene, S. C., 1952, Introduction to Metamathematics, Van Nostrand, Princeton, x + 550 pp.
Kleene, S. C. and Vesley, R. E., 1965, The Foundations of Intuitionistic Mathematics, North Holland Publishing Company, Amsterdam, vii + 206 pp.
Kreisel, G., 1967, ‘Informal Rigour and Completeness Proofs’, in: Problems in the Philosophy of Mathematics, I.Lakatos, (ed.) North Holland, Amsterdam, 138–171.
Kreisel, G., 1968, ‘Lawless Sequences of Natural Numbers’, Compositio Mathematica 20, 222–248.
Kreisel, G. and Troelstra, A. S., 1971, ‘Formal Systems for Some Branches of Intuitionistic Analysis, Annals of Mathematical Logic 1, 229–387.
Kuroda, S., 1951, ‘Intuitionistische Untersuchungen der formalistischen Logik’, Nagoya Math. J. 2, 35–47
Moschovakis, J. R., 1967, ‘Disjunction and Existence in Formalized Intuitionistic Analysis’, in Sets, Models and Recursion Theory, J.N.Crossley (ed.), North Holland Publishing Company, Amsterdam.
Myhill, J., 1966, ‘Notes towards an Axiomatization of Intuitionistic Analysis’, Logique et Analyse 35, 280–297.
Myhill, J., 1968, ‘Formal Systems of Intuitionistic Analysis, I’, in Proc. Third Int. Cong. of Logic, Methodology and Philosophy of Science, vanRootselaar and Stall, (eds.), North Holland Publishing Company, Amsterdam, 161–178.
Myhill, J., 1970, ‘Formal Systems of Intuitionistic Analysis, II: The Theory of Species’, in Intuitionism and Proof Theory, Myhill, Kino, and Vesley (eds.), North Holland Publishing Company, Amsterdam, pp. 151–162.
Montague, R., 1962, ‘Syntactical Treatments of Modality’, in Proc. Colloq. on Modal and Many Valued Logics, Acta Philosophica Fennica XVI, 153–167.
Posy, C. J., 1974, ‘Brouwer's Constructivism’, Synthese 27, 125–159.
Posy, C. J., 1976, ‘Varieties of Indeterminacy in the Theory of General Choice Sequences’, Journ. Phil. Logic 5, 91–132.
Rogers, H., 1967, Theory of Recursive Functions and Effective Computability, McGraw Hill, New York, xix + 482 pp.
vanRootselaar, B., 1971, ‘On Subjective Mathematical Assertions’, in Intuitionism and Proof Theory, Myhill et al. (eds.), North Holland Publishing Company, Amsterdam, 187–196.
Sloman, A., 1965, ‘Functions and Rogators’, in Formal Systems and Recursive Functions, Crossley and Dummet (eds.), North Holland, Amsterdam, 156–175.
Troelstra, A. S., 1969, ‘Principles of Intuitionism’, Lecture Notes in Mathematics 95, Springer Verlag, Berlin, 111 pp.
Troelstra, A. S., (ed.), 1973, Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, Lecture Notes in Mathematics 344, Springer Verlag, Berlin.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Posy, C.J. The theory of empirical sequences. J Philos Logic 6, 47–81 (1977). https://doi.org/10.1007/BF00262048
Issue Date:
DOI: https://doi.org/10.1007/BF00262048