Computation and proof theory /
Computation and proof theory /
ed. Michael M. Richter.
- Berlin : Springer, 1984.
- viii, 475 p. ; 25 cm.
- Lecture notes in mathematics ; v. 1104 LNM ; v. 1104 .
038713901X 354013901X
Computación.
038713901X 354013901X
Computación.