Provability in elementary type theory
journal contribution
posted on 1972-01-01, 00:00 authored by P. B.(Peter Bruce) AndrewsMathematics Technical Report
History
Publisher Statement
All Rights ReservedDate
1972-01-01Usage metrics
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC