Skip to main content
User account menu
Log in
Toggle navigation
Main navigation
Centre
Members
Publications
Publications
Preprints
Theses
Research Groups
News & Events
News
Meetings
Seminars
Colloquia
Outreach
Other
Projects
CMAT-LABs
Proof search in constructive logics.
London Math. Soc. Lecture Note Ser.
Book Chapter
Luís Pinto
Publication
Year of publication: 2009
Volume: 258
Pages: 53--65
Identifiers
Other: MR1720570 (2000g:03132)
Locators
Alternative Titles