Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Mathematical Logic for Computer Science (Prentice-hall...
Imagen de archivo
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
Publicado por
Prentice Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Tapa blanda
Librería: Wonder Book, Frederick, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Nº de ref. del artículo: U12P-01036
Comprar usado
EUR 13,45
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
Publicado por
Prentice Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Paperback
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G013564139XI3N00
Comprar usado
EUR 14,54
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
Publicado por
Prentice Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Paperback
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G013564139XI4N00
Comprar usado
EUR 14,54
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Publicado por
Prentice-Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392. Nº de ref. del artículo: 9432038
Comprar usado
EUR 9,84
Gastos de envío:
EUR 15,33
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Logic for Computer Science
Publicado por
Prentice-Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780135641392. Nº de ref. del artículo: 5569798
Comprar usado
EUR 19,92
Gastos de envío:
EUR 15,33
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Publicado por
Prentice-Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392. Nº de ref. del artículo: 4311745
Comprar usado
EUR 20,90
Gastos de envío:
EUR 15,33
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Logic for Computer Science
Publicado por
Prentice-Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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,550grams, ISBN:9780135641392. Nº de ref. del artículo: 5555302
Comprar usado
EUR 26,04
Gastos de envío:
EUR 15,33
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Publicado por
Prentice-Hall, 1993
ISBN 10: 013564139X
ISBN 13: 9780135641392
Antiguo o usado
Tapa blanda
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. 320 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch. Nº de ref. del artículo: 392202
Comprar usado
EUR 21,88
Gastos de envío:
EUR 24,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles