Vista normal Vista MARC Vista ISBD

Handbook of proof theory / edited by Samuel R. Buss - 811 páginas ; - Studies in logic and the foundations of mathematics ; v. 137 .

ISBN: 0444898409 (papel alcalino)

Subjects--Topical Terms:
Teoría de la demostración

LC Class. No.: QA9.54 / H35

Dewey Class. No.: 511.3