Chapter V - Bounded Arithmetic
from PART C
Published online by Cambridge University Press: 24 March 2017
Summary
- Type
- Chapter
- Information
- Metamathematics of First-Order Arithmetic , pp. 267 - 396Publisher: Cambridge University PressPrint publication year: 2017
- 1
- Cited by