Da: Revaluation Books, Exeter, Regno Unito
EUR 158,33
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 306 pages. 9.50x6.25x1.00 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, 2004
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: moluna, Greven, Germania
EUR 156,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A collection of expository and research articles derived from the SERC Logic for IT Summer School and Conference on Proof Theory.InhaltsverzeichnisPreface Programme of lectures 1. Basic proof theory S. Wainer and L. Wallen 2. A .