|
Solomon Feferman (1977): Theories of finite type related to mathematical practice
Title: |
Theories of finite type related to mathematical practice |
Author(s): |
Solomon Feferman |
Year: |
1977 |
Booktitle: |
Handbook of Mathematical Logic |
Editor(s): |
Jon Barwise |
Chapter: |
D.4 |
Pages: |
913-972 |
Publisher: |
North--Holland |
Address: |
Amsterdam |
Concepts
|
|