Proof Search in Constructive Logics

Publisher Website

17 June 1999

book chapter
book charpter
Published by Cambridge University Press (CUP)

p. 53-66
https://doi.org/10.1017/cbo9781107325944.004

Abstract

No abstract available

Cited by 5 articles