First Edition / Second Print (first printed 1986). Paperback copy, no dustjacket as issued. 265pp. Diagrams throughout. Not library copy, no inscriptions, no creasing to spine. (13/7).

Bestandsnummer des Verk�ufers ABE-1530253101225

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: First Course in Formal Logic and Its Applications in Computer Science - Computer Science Texts
Verlag: Alfred Waller Ltd, Henley
Erscheinungsjahr: 1994
Sprache: Englisch
ISBN-10: 0632013087
ISBN-13: 9780632013081
Einband: Soft cover
Auflage: 1st Edition
Zustand: Very Good
Zustand des Schutzumschlags: No Jacket

�ber diesen Titel

Inhaltsangabe

Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language and the considerable interest in Prolog can be seen as a step in this direction. Although formal logic is clearly a fundamental part of any degree programme, most of the current texts are designed for third year undergraduate or postgraduate mathematicians. This text is designed specifically for undergraduates and, together with "A First Course in Formal Language Theory" and "A First Course in Computability", both by V. J. Rayward-Smith, it covers the important theory which should be in any computer science degree course.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

CURIO was established in 1999 in Bingham, a town 10 miles from the city of Nottingham, Nottinghamshire, before relocating to Grimsby, North East Lincolnshire in 2007. We have a wide selection of stock comprising of first editions, Lincolnshire topography, fiction and non-fiction, student text books, audio books, signed and limited editions, children's books, and antiquarian books.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

CURIO
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

All prices are British Pound Sterling. Payments through AbeBooks with credit / debit cards. Paypal payments to CURIOCOLLECT101@GMAIL.COM.

All orders will be processed within two days (excluding weekends).

Books remain the property of CURIO until full payment has been received.

All books may be returned within 10 days of receipt if not as described or change of mind. Please contact us first before returning.

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

UK orders will be sent either by Royal Mail standard, signed-for, or special delivery depending on value (2-3 days delivery, or by courier for heavier books (3-5 days delivery).

Overseas orders will be sent by standard airmail or international tracked signed-for depending on value (5-10 days delivery depending on destination).