Realizability: An Introduction to Its Categorical Side

Publisher: Elsevier

Type: Physical Book

Language: English

Pages: 327

Release Date: 1998-01-01

ISBN 10: 0080560067

ISBN 13: 9780080560069

Readers: 1

Country: United States of America