description: The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers
language: English
title: Logic and Computer Science
titlecomplete: Logic and Computer Science (Apic Studies in Data Processing)
publisher: Academic Press