Vista normal Vista MARC Vista ISBD

Bimbo, Katalin, 1963- ,

Proof theory : sequent calculi and related formalisms / Katalin Bimbó - x, 376 páginas : ilustraciones - Discrete mathematics and its applications .

ISBN: 9781466564664 (empastado, cubierta dura) 1466564660 (empastado, cubierta dura)

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

LC Class. No.: QA9.54 / B55

Dewey Class. No.: 511.3/6