Logic and Computer Science
Piergiorgio OdifreddiLogic and Computer Science
January 1, 1990456 pages
No grades yet
or to grade, review, and add to your backlog.
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
Community reviews
No reviews yet
Be the first to review this book.
More like this
- Rights and Responsibilities of Participants in Networked Communities
- Computer Organization and Design RISC-V Edition: The Hardware Software Interface
- The Road Ahead: Completely Revised and Up-to-Date
- Windows 95 Resource Kit
- Proceedings of a Symposium on Large-Scale Digital Calculating Machinery
- Sams teach yourself C++ in 21 days
- Sams Teach Yourself C in 21 Days: Personal Training Kit contains complete BorlandC/C++ 3.1 Compiler
- Sams' Teach Yourself Advanced C in 21 Days
