Existence, truth, and provability / - Leblanc, Hugues, (State University of New York Press,, 1982)