Annika Kanckos
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
2010
1
Annika Kanckos: Consistency of Heyting arithmetic in natural deduction.
Math. Log. Q. 56
(6): 611-624 (2010)
Last update Fri Jun 1 15:44:53 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
- CSB - MetaPress - Google - Bing - Yahoo
Data released under the ODC-BY 1.0 license — See also our legal information page