Publication:3343471
From MaRDI portal
zbMath0551.68075MaRDI QIDQ3343471
Frank Pfenning, Peter B. Andrews, Dale A. Miller, Eve Longini Cohen
Publication date: 1984
DB lookup for MSC labels failed
Related Items
Unification under a mixed prefix, What holds in a context?, Set theory for verification. I: From foundations to functions