Walter Carnielli

Walter Carnielli

Professor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the …
Verified email at cle.unicamp.br
Cited by 5974
Semantics and proof theory of contemporary … foundations of set theory foundations of computability logic and reason