Existance truth and provability - Leblanc H (Albany State Univ of N YOrk, 1982)