A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Cloth/Laminated Boards. Zustand: Very Good. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped. Artikel-Nr. 051372
Anzahl: 1 verfügbar
Anbieter: Labyrinth Books, Princeton, NJ, USA
Zustand: Very Good. Artikel-Nr. 120759
Anzahl: 1 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
HRD. Zustand: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. P1-9780521414135
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9780521414135_new
Anzahl: Mehr als 20 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. 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 . Artikel-Nr. 446934662
Anzahl: 1 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Editor(s): Aczel, Peter; Simmons, Harold (University of Manchester); Wainer, Stanley S. (University of Leeds). Num Pages: 320 pages, line drawings. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 22. Weight in Grams: 602. . 1993. hardcover. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521414135
Anzahl: Mehr als 20 verfügbar