# Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic > 03B99 None of the above, but in this section"

Up a level |

- MSC Classification Numbers (2)
- 03-XX Mathematical logic and foundations (2)
- 03Bxx General logic (2)
**03B99 None of the above, but in this section**(2)

- 03Bxx General logic (2)

- 03-XX Mathematical logic and foundations (2)

Group by: Authors | Item Type

Jump to: Article | Proceedings article

Number of items at this level:

**2**.## Article

Heusch, Peter
(1999)
*The Complexity of the Falsifiability Problem for Pure Implicational Formulas.*
**Published in: **
Discrete Applied Mathematics Vol. 96-97.
pp. 127-138.

## Proceedings article

Heusch, Peter
(1995)
*The Complexity of the Falsifiability Problem for Pure Implicational Formulas.*
**Published In:**
Mathematical foundations of computer science 1995 : 20th international symposium ; proceedings, Lecture notes in computer science. 969 Springer 1995, pp. 221-226.