Sprache: Englisch
Verlag: Elsevier Science & Technology, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 195,34
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 208,13
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
EUR 224,29
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 247,16
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 261,03
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Part V. Higher-order logic and logical frameworks.Chapter 15. Classical Type Theory (Peter B. Andrews).1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bi.
Sprache: Englisch
Verlag: ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.