Gå direkte til innholdet
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Spar

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Undertittel
Part 2: Computation and Proof Theory
Opplag
1984 ed.
ISBN
9783540139010
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
1.12.1984
Antall sider
482