Proof Search in Constructive Logics

Roy Dyckhoff, L Pinto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSets and Proofs
EditorsS. Barry Cooper, John K. Truss
Place of PublicationCambridge
PublisherCambridge University Press
Number of pages13
ISBN (Print)0-521-63549-7
Publication statusPublished - 1999

Publication series

NameLondon Mathematical Society Lecture Note Series
PublisherCambridge University Press

Cite this