Fitch notation

notational system for constructing formal proofs

Categorias: