FREGE PROOF SYSTEM AND TNC-DEGREES

Authors
TAKEUTI G
Citation
G. Takeuti, FREGE PROOF SYSTEM AND TNC-DEGREES, The Journal of symbolic logic, 63(2), 1998, pp. 709-738
Citations number
24
Categorie Soggetti
Mathematics,Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
63
Issue
2
Year of publication
1998
Pages
709 - 738
Database
ISI
SICI code
0022-4812(1998)63:2<709:FPSAT>2.0.ZU;2-L