Arithmetic, proof theory, and computational complexity


edited by Peter Clote and Jan Krajíček
Bok Engelsk 1993

Detaljer

Bibliotek som har denne