Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science) - Softcover

Ben-Ari, M.

 
9780135641392: Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
Softcover
ISBN 10: 013564139X ISBN 13: 9780135641392
Verlag: Prentice-Hall, 1992

Inhaltsangabe

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Prentice-Hall
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
013564139X
ISBN 13 
9780135641392
Einband
Tapa blanda
Anzahl der Seiten
320
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781447173618: Mathematical Logic for Computer Science, 2/E (Indian Reprint) [Paperback]

Vorgestellte Ausgabe

ISBN 10:  1447173619 ISBN 13:  9781447173618
Softcover