**Algebra of Proofs (Studies in Logic and the Foundations of Mathematics Volume 88)**

M. E. Szabo,

English | 1978 | ISBN: 0720422868 | 310 pages | PDF | 8,9 MB

The author studies the algebraic properties of the proof theory of intuitionistic first-order logic in a categorical setting. The conceptual basis of the book is the realization that the Lindenbaum-Tarski algebras of formulas may be viewed as categories and that the formal proofs of the associated deductive systems determine structured categories as their canonical algebras which are of the same type as the Lindenbaum-Tarski algebras of formulas of the underlying languages.

**===DOWNLOAD===**

*Premium recommended for maximum speed and resumability*

**Uploaded**:

http://uploaded.net/file/zvzoqa38/rthnn.Algebra.of.Proofs.Studies.in.Logic.and.the.Foundations.of.Mathematics.Volume.88.pdf

**Rapidgator**:

http://rapidgator.net/file/f25d6255c355c6abda00ead6cffb9dcd/rthnn.Algebra.of.Proofs.Studies.in.Logic.and.the.Foundations.of.Mathematics.Volume.88.pdf.html

**Interchangeable links - Password free**

Comments