Boolean programs and quantified propositional proof systems
Journal Articles
- Overview
- Additional Document Info
- View All
Overview
status
publication date
- January 1, 1999
has subject area
- 2203 Philosophy (FoR)
published in
- Bulletin of the Section of Logic Journal