Browse
Search
Explore more content
file.
pdf
(793.63 kB)
File info
Download file
Fullscreen
Provability in elementary type theory
Cite
Download
(793.63 kB)
Share
Embed
journal contribution
posted on 1972-01-01, 00:00
authored by
P. B.(Peter Bruce) Andrews
Mathematics Technical Report
History
Publisher Statement
All Rights Reserved
Date
1972-01-01
Usage metrics
Categories
Mathematical Sciences not elsewhere classified
Keywords
Type theory.
Statistical decision.
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC