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
Permalink to this page
Back