Book
Han Logic Comp Sci Vol 5 Hlcs C
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type Theory, categorical logic and computational complexity of logical theories. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780198537816
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Nobody
Idea box
