Toward Useful Type-Free Theories Iby Solomon Feferman
Review by: Andrea CantiniVolume:
60
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275529
Date:
March, 1995
File:
PDF, 153 KB
english, 1995