# 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 (643)
- 03-XX Mathematical logic and foundations (22)
- 03Bxx General logic (22)
**03B99 None of the above, but in this section**(2)

- 03Bxx General logic (22)

- 03-XX Mathematical logic and foundations (22)

Number of items at this level:

**2**.
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.

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