Complexity of Proofs and Their Transformations in Axiomatic Theories

Publisher: American Mathematical Society

Type: Physical Book

Language: English

Pages: 153

Release Date: 1993-01-01

ISBN 10: 0821845764

ISBN 13: 9780821845769

Readers: 1

Country: United States of America