The Use of Trustworthy Principles in a Revised Hilbert’s Program
Date first appeared online 14/09/2015
DOI 10.1007/978-3-319-10103-3_3
Authors Setzer A.
Journal Name Gentzen's Centenary
Volume

Documents