Sciweavers

LOGCOM
2006

An Independence Result for Intuitionistic Bounded Arithmetic

13 years 11 months ago
An Independence Result for Intuitionistic Bounded Arithmetic
Morteza Moniri
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LOGCOM
Authors Morteza Moniri
Comments (0)