Gå direkte til innholdet
About Cut-Elimination in Schematic Proofs
Spar

About Cut-Elimination in Schematic Proofs

Forfatter:
pocket, 2013
Engelsk
ISBN
9783659425226
Språk
Engelsk
Vekt
191 gram
Utgivelsesdato
8.7.2013
Antall sider
124