Browse
Search
Explore more content
file.
pdf
(3.27 MB)
File info
Download file
Fullscreen
On connections and higher-order logic
Cite
Download
(3.27 MB)
Share
Embed
journal contribution
posted on 01.01.1988, 00:00
by
P. B.(Peter Bruce) Andrews
Mathematics Technical Report
History
Publisher Statement
All Rights Reserved
Date
01/01/1988
Usage metrics
Categories
Mathematical Sciences not elsewhere classified
Keywords
Proof theory.
Logic
Symbolic and mathematical.
Type theory.
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC