![Logic in computer science / Propositional calculus / Type theory / Proof theory / Natural deduction / Function / Principia Mathematica / First-order logic / Interpretation / Logic / Mathematical logic / Mathematics Logic in computer science / Propositional calculus / Type theory / Proof theory / Natural deduction / Function / Principia Mathematica / First-order logic / Interpretation / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/45aa1b67ba819468704ee9f5dcc9fecc.jpg)
| Document Date: 2009-06-20 07:32:17 Open Document File Size: 672,45 KBShare Result on Facebook
City Amsterdam / Munich / London / Stockholm / / Company Russell / / Country Netherlands / / Event Reorganization / / Facility Prentice Hall / / IndustryTerm cartesian product / / Person Enrico Pagello / Giovanni Sambin / Helmut Schwichtenberg / / ProgrammingLanguage Lambda Calculus / ALGOL / / ProvinceOrState New Jersey / / PublishedMedium Communications of the ACM / Mathematische Zeitschrift / /
SocialTag |