A Theory of Formal Deducibility

Bok · Engelsk

Utgitt	Notre Dame, Ind. : University of Notre Dame
Emner	Bevisføring (Matematikk) Formal logikk