Back to Results
First PageMeta Content
Mathematical constructivism / Logic in computer science / Algebraic structures / Realizability / Categorical logic / Function / Intuitionistic logic / Combinatory logic / First-order logic / Mathematical logic / Mathematics / Logic


The Realizability Approach to Computable Analysis and Topology Andrej Bauer
Add to Reading List

Document Date: 2010-06-11 17:18:33

Open Document

File Size: 1,30 MB

Share Result on Facebook
UPDATE