Gödel's Functional ("Dialectica") Interpretation
journal contribution
posted on 1999-01-01, 00:00 authored by Jeremy AvigadJeremy Avigad, Solomon FefermanDepartment of Philosophy technical report
History
Publisher Statement
All Rights ReservedDate
1999-01-01Usage metrics
Categories
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC