论文信息 - Implication and analysis in classical frege structures - 字舞流文

Implication and analysis in classical frege structures

On etudie la possibilite de fonder les mathematiques sur le concept de propriete suivant Frege un lieu du concept iteratif d'ensemble

Robert C. Flagg | John J. Myhill | R. Flagg | J. Myhill

[1] Oliver Aberth,et al. Computable analysis , 1980 .

[2] Frederic Brenton Fitch,et al. A basic logic , 1942, Journal of Symbolic Logic.

[3] Frederic Brenton Fitch. A Demonstrably Consistent Mathematics - Part I , 1950, J. Symb. Log..

[4] Paul Lorenzen,et al. Constructive definition of certain analytic sets of numbers , 1959, Journal of Symbolic Logic.

[5] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .

[6] Frederic Brenton Fitch. The Heine-Borel Theorem in Extended Basic Logic , 1949, J. Symb. Log..

[7] Dana S. Scott,et al. Combinators and classes , 1975, Lambda-Calculus and Computer Science Theory.

[8] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .

[9] Frederic Brenton Fitch. An Extension of Basic Logic , 1948, J. Symb. Log..

[10] Frederic B. Fitch,et al. A Demonstrably Consistent Mathematics. , 1951 .

[11] P. Aczel. Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .

[12] Gordon D. Plotkin. The lambda-Calculus is omega-Incomplete , 1974, J. Symb. Log..

[13] Gordon Plotkin. THE A-CALCULUS IS c-INCOMPLETE , 1974 .

[14] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .

[15] Maurice Sion. Introduction to the methods of real analysis , 1968 .