Intuitionistic Logic

Authors
Publication date 2005
Series ESSLLI Course Notes
Number of pages 48
Publisher Edinburgh: Hariot Watt University
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Published at http://www.macs.hw.ac.uk/esslli05
Permalink to this page
Back