FA Sign in

Discover references

Proof-theoretic

Books

2 results

Cover of Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

English Unordered

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Arnon Avron,Anna Zamansky (auth.),Stefano Aguzzoli,Agata Ciabattoni,Brunella Gerla,Corrado Manara,Vincenzo Marra (eds.)

2007 View book

Cover of Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

English Unordered

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Arnon Avron,Anna Zamansky (auth.),Stefano Aguzzoli,Agata Ciabattoni,Brunella Gerla,Corrado Manara,Vincenzo Marra (eds.)

2007 View book