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.
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.
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.
EUR 3,43 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerAnbieter: suffolkbooks, Center moriches, NY, USA
hardcover. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week! Bestandsnummer des Verkäufers 3TWOWA002SZN
Anzahl: 1 verfügbar
Anbieter: Bestsellersuk, Hereford, Vereinigtes Königreich
hardcover. Zustand: Very Good. Bumped Spine Slight Scratches to cover. No.1 BESTSELLERS - great prices, friendly customer service â" all orders are dispatched next working day. Bestandsnummer des Verkäufers mon0000876649
Anzahl: 1 verfügbar
Anbieter: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italien
Brossura. Zustand: fine. Hackensack, 1989; pp. 260. Libro. Bestandsnummer des Verkäufers 1661413
Anzahl: 1 verfügbar