zbMath0362.68040MaRDI QIDQ4136523
Józef Winkowski
Publication date: 1977
Mathematics Subject Classification ID
03B10: Classical first-order logic
68N01: General topics in the theory of software