An introduction to many-sorted logic as an extension of first-order logic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521019026. Bestandsnummer des Verkäufers 3736675
Anzahl: 1 verfügbar
Anbieter: California Books, Miami, FL, USA
Zustand: New. Bestandsnummer des Verkäufers I-9780521019026
Anzahl: Mehr als 20 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521019026_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521019026
Anzahl: 10 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 388 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521019028
Anzahl: 1 verfügbar
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. An introduction to many-sorted logic as an extension of first-order logic. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 650. . 2008. Revised ed. paperback. . . . . Bestandsnummer des Verkäufers V9780521019026
Anzahl: Mehr als 20 verfügbar
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521019026
Anzahl: Mehr als 20 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 412. Bestandsnummer des Verkäufers 26401839
Anzahl: 4 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. An introduction to many-sorted logic as an extension of first-order logic. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 650. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780521019026
Anzahl: Mehr als 20 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 412 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 7446128
Anzahl: 4 verfügbar