Searching for "A generalization of a conservativity theorem for classical versus intuitionistic arithmetic." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
A generalization of conservativity theorem for classical versus intuitionistic arithmetic
- …A generalization of a Conservativity Theorem for Classical versus Intuitionistic Arithmetic…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 1.
