Open menu
G. E. Reyes
First Order Categorical Logic