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