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

Lu, Zhongwan

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

Inhaltsangabe

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.

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

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

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

Verlag
EPB Publishers Pte Ltd
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
9971502518
ISBN 13 
9789971502515
Einband
Tapa dura
Anzahl der Seiten
260
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar