Proof search in constructive logics.

London Math. Soc. Lecture Note Ser.

Book Chapter

Publication

Year of publication: 2009

Volume: 258

Pages: 53--65

Identifiers

Other: MR1720570 (2000g:03132)

Locators

Alternative Titles