scientific article
From MaRDI portal
Publication:4025011
zbMath0761.03003MaRDI QIDQ4025011
Publication date: 22 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean prime ideal theoremaxiom of choice for finite setscompactness theorem for propositional logic
This page was built for publication: