Introduction to Higher-Order Categorical Logic

Publisher: CUP

Type: Physical Book

Language: English

Release Date: 1986-01-01

ISBN 10: 0521356539

ISBN 13: 9780521356534

Readers: 1

Country: United States of America