Frege's theorem in a constructive setting

Authors
Bell, JL
Citation
Jl. Bell, Frege's theorem in a constructive setting, J SYMB LOG, 64(2), 1999, pp. 486-488
Citations number
1
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
2
Year of publication
1999
Pages
486 - 488
Database
ISI
SICI code
0022-4812(199906)64:2<486:FTIACS>2.0.ZU;2-G