000 00440 a2200181 4500
001 066701
003 OSt
005 20211006112203.0
008
082 _a511.3
_bC92N
100 1 _aCupillari, Antonella
245 1 _aThe nuts and bolts of proofs
_cby Antonella Cupillari
250 _a3rd ed.
260 _aLondon
_bElsevier
_c2005
300 _a179p.
690 _aProof theory
942 _2ddc
_cBK
999 _c716
_d716