Normal view MARC view ISBD view

Arithmetic, proof theory , and computational complexity

Clote Peter

Arithmetic, proof theory , and computational complexity - 1993

Standard No.: 5715

Source: Textual

Dewey Class. No.: B1, N3