Categorical logic and type theory

Type: Physical Book

Pages: 760

Release Date: 1998-12-01

ISBN 10: 0444501703

ISBN 13: 9780444501707

Readers: 1

Data Score: 820