Proofs, categories and computations. essays in honor of grigori mints

from proof-theoretical reductions through non-classical logics and category theory to automated theorem proving and proof mining, i. e. , the extraction of mathematical information from formal proofs. The collection itself is significant for another reason

Te aconsejamos que leas: