Télécharger le livre :  Algebra of Proofs
Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The...

Editeur : North Holland
Parution : 2016-06-03
PDF sans DRM

57,97

Téléchargement immédiat
Dès validation de votre commande