Pages that link to "Item:Q634777"

The following pages link to Admissible closures of polynomial time computable arithmetic (Q634777):

Displaying 1 item.

• The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)