TY - BOOK ID - 85904085 TI - Proof theory PY - 1975 VL - v. 81 SN - 0444104925 9780080954912 008095491X 1283525283 9781283525282 9786613837738 6613837733 9780444104922 0720422000 0720422779 PB - Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., DB - UniCat KW - Mathematical logic KW - Proof theory KW - Théorie de la preuve KW - ELSEVIER-B EPUB-LIV-FT KW - Proof theory. KW - 510.6 KW - 510.6 Mathematical logic KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:85904085 AB - Provability, Computability and Reflection ER -