A complete, type-free "second-order" logic and its philosophical foundations

Author(s)

• Menzel, Christopher
• Stanford University. Center for the Study of Language and Information

Bibliographic Information

A complete, type-free "second-order" logic and its philosophical foundations

by Christopher Menzel

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-86-40）

Center for the Study of Language and Information, 1985

Note

"March 1986"

Bibliography: p. 63-65

***記述は遡及データによる

Details

• NCID: BA51230737
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: 65 p.
• Size: 28 cm
• Parent Bibliography ID:
  • BA10949995