| Author(s): | Wojtylak, P. | |
|---|---|---|
| Book: | Logic at Work: Essay Dedicated to the Memory of Helen Rasiowa | |
| Title: | 2 Sat is not Equivalent to Boolean Prime Ideal Theorem | |
| Display: | Logic at Work: Essay Dedicated to the Memory of Helen Rasiowa, Wojtylak, 1999, | |
| Pages: | ||
| Year: | 1999 | |
| Comments: |