Authors

M.J. Marx

Date (dd-mm-yyyy)

2001

Title

Complexity of intuitionistic predicate logic with one variable

Publication Year

2001

Publisher

AmsterdamInstitute for Logic, Language and Computation

Document type

Working paper

Permalink

https://hdl.handle.net/11245/1.194003