num_pages: 260
description: 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.
language: English
title: Mathematical Logic for Computer Science
titlecomplete: Mathematical Logic for Computer Science (World Scientific Computer Science)
publisher: World Scientific Publishing Company