Frege's theorem in a constructive setting

Journal of Symbolic Logic

Volumn 64, Issue 2, 1999, Pages 486-488

  Bell, John L ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033456956     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586481     Document Type: Article

References (1)

1. J.L. BELL, Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined., this JOURNAL, vol. 60 (1995), no. 1, pp. 209-220.