Return to search

A constructive interpretation of a fragment of first order logic /

No description available.
Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.64756
Date January 1983
CreatorsLamarche, François.
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 Science (Department of Mathematics.)
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
Relationalephsysno: 000183704, proquestno: AAIML27401, Theses scanned by UMI/ProQuest.

Page generated in 0.0021 seconds