Selected papers in proof theory
Mints, Grigorii EAno:
1992
Editora:
Bibliopolis
Idioma:
english
Páginas:
294
ISBN 10:
8870882284
ISBN 13:
9788870882285
Arquivo:
DJVU, 3.98 MB
IPFS:
,
english, 1992