Selected papers in proof theory
Mints, Grigorii EJahr:
1992
Verlag:
Bibliopolis
Sprache:
english
Seiten:
294
ISBN 10:
8870882284
ISBN 13:
9788870882285
Datei:
DJVU, 3.98 MB
IPFS:
,
english, 1992