scientific article
From MaRDI portal
Publication:3893906
zbMath0448.03022MaRDI QIDQ3893906
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A complete logic for reasoning about programs via nonstandard model theory. I ⋮ Chain logic and Shelah's infinitary logic
This page was built for publication: