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:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

Dov M. Gabbay, Professor Dov M. Gabbay, Samson Abramsky

Category:

ISBN

9780198537816

Information

Reviews

Wall

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 ».

There are no reviews for this book yet.

More reviews »

Han Logic Comp Sci Vol 5 Hlcs C

Welcome to Boeklezers.nl

Reviews of Han Logic Comp Sci Vol 5 Hlcs C by Samson Abramsky, Professor Dov M. Gabbay & Dov M. Gabbay