Back to Results
First PageMeta Content
Constructivism / Mathematics / Computability theory / Mathematical logic / Mathematical proofs / Functions and mappings / Abstraction / Proof theory / Realizability / Constructive proof / Primitive recursive function / operator


On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade
Add to Reading List

Document Date: 2012-11-12 10:34:17


Open Document

File Size: 105,54 KB

Share Result on Facebook