Return to search

Undecidability of intuitionistic theories

No description available.
Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.66016
Date January 1985
CreatorsBrierley, William.
PublisherMcGill University
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Formatapplication/pdf
CoverageMaster of Arts (Department of Mathematics and Statistics.)
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
Relationalephsysno: 000241988, proquestno: AAIML31284, Theses scanned by UMI/ProQuest.

Page generated in 1.3008 seconds