Browse
Search
Explore more content
file.
pdf
(243.38 kB)
File info
This item contains files with download restrictions
Fullscreen
A Realizability Interpretation for Classical Arithmetic
Cite
Download
(243.38 kB)
Share
Embed
journal contribution
posted on 1998-01-01, 00:00
authored by
Jeremy Avigad
Jeremy Avigad
A constructive realizablity interpretation for classical arithmetic is presented.
History
Publisher Statement
All Rights Reserved
Date
1998-01-01
Usage metrics
Categories
Philosophy
Keywords
Philosophy
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC