Publication:5579472

zbMath0186.00301MaRDI QIDQ5579472

Hans Hermes

Publication date: 1969

zbMATH Keywords

general logic

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

Related Items

Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik