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.
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
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 6,35 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: Bestsellersuk, Hereford, Reino Unido
hardcover. Condición: Very Good. Bumped Spine Slight Scratches to cover. No.1 BESTSELLERS - great prices, friendly customer service â" all orders are dispatched next working day. Nº de ref. del artículo: mon0000876649
Cantidad disponible: 1 disponibles
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
hardcover. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week! Nº de ref. del artículo: 3TWOWA002SZN
Cantidad disponible: 1 disponibles
Librería: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italia
Brossura. Condición: fine. Hackensack, 1989; pp. 260. Libro. Nº de ref. del artículo: 1661413
Cantidad disponible: 1 disponibles