Old Web
English
Sign In
Acemap
>
Paper
>
Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17
Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17
2010
Christoph Benzmüller
Chad E. Brown
Jörg H. Siekmann
Richard Statman
Keywords:
Philosophy
Honor
Type theory
Epistemology
Cognitive science
Psychoanalysis
simple type theory
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
7
Citations
NaN
KQI
[]