학술논문
Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations
Document Type
Book
Author
Source
Ways of Proof Theory. Band 2:65-134
Subject
Language