Amanote Research
Register
Sign In
An Intuitionistic Logic That Proves Markov's Principle
doi 10.1109/lics.2010.49
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2010
Authors
Hugo Herbelin
Publisher
IEEE
