Siirry suoraan sisältöön
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Tallenna

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

Alaotsikko
Part 2: Computation and Proof Theory
Painos
1984 ed.
ISBN
9783540139010
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.12.1984
Sivumäärä
482