Skip to content
Vinony

Tableau systems for first order number theory and certain higher order theories

by Sue Ann Toledo

Cover of Tableau systems for first order number theory and certain higher order theories

No description available.

Number theoryPredicate calculusProof theoryCalcul des prédicatsNombres, Théorie desPreuve, Théorie de la