Mathematical Logic For Computer Science: 13 (World Scientific Series In Computer Science) - Tapa dura

Lu, Zhongwan

 
9789971502515: Mathematical Logic For Computer Science: 13 (World Scientific Series In Computer Science)
Tapa dura
ISBN 10: 9971502518 ISBN 13: 9789971502515
Editorial: EPB Publishers Pte Ltd, 1989

Sinopsis

This book describes the aspects of mathematical logic related to computer sciences. The materials adopted in this book are intended to attend to both the peculiarities of logical systems and the requirements of computer science.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book describes the aspects of mathematical logic related to computer sciences. The materials adopted in this book are intended to attend to both the peculiarities of logical systems and the requirements of computer science.

Reseña del editor

Zhongwan (mathematical logic, Academia Sinica, Beijing) presents an overview of both the peculiarities of logical systems and the requirements of computer logic, but does not specifically treat the application of the former to the latter. Topics include sets, inductive definitions and proofs, propos

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
EPB Publishers Pte Ltd
Año de publicación
1989
Idioma
Inglés
ISBN 10 
9971502518
ISBN 13 
9789971502515
Encuadernación
Tapa dura
Número de páginas
260
Contacto del fabricante
no disponible
Persona responsable
no disponible