René Gazzari

René Gazzari

Junior Researcher

University of Minho

d13136@math.uminho.pt
.
ORCID

Publications

Direct Proofs of Lindenbaum Conditionals

Logica Universalis | 2014

DOI

Lindenbaumsätze für deduktive Systeme

DOI