Eine Bemerkung zu Henkin’s Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe (1953)

by Gisbert Hasenjaeger
Venue:Journal of Symbolic Logic