Publication:3858240
From MaRDI portal
zbMath0424.03008MaRDI QIDQ3858240
Publication date: 1979
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
A complete logic for reasoning about programs via nonstandard model theory. II, Programs and program verifications in a general setting