Cover Image
Read Now

1
by Dzhafarov, Damir D., Mummert, Carl
Published 2022
Springer International Publishing
Table of Contents: “... problems -- 4 Problem reducibilities -- Part II Formalization and syntax: 5 Second order arithmetic -- 6...”