Resources

Proof Theory

Author : Pohlers 

Springer

Access online

Proof Theory and Intuitionistic Systems

Author : Scarpellini 

Springer

Access online

Proof Theory for Fuzzy Logics

Author : Metcalfe 

Springer

Access online

Quality of Software Architectures

Author : Hofmeister 

Springer

Access online

Proofs from THE BOOK

Author : AignerQuarteroni 

Springer

Access online

Proper Forcing

Author : Shelah 

Springer

Access online