8907424
9780125242202
Out of Stock
The item you're looking for is currently unavailable.
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 proversOdifreddi, Piergiorgio is the author of 'Logic and Computer Science (Apic Studies in Data Processing)', published 1990 under ISBN 9780125242202 and ISBN 0125242204.
[read more]