Skip to content Skip to main menu Skip to search

English
- English
- Français

International Journal of Computing Anticipatory Systems

Main menu

Latest issues

15 | 2004
Volume 15

Full text issues

30 | 2014
Volume 30
29 | 2014
Volume 29
28 | 2014
Volume 28
27 | 2014
Volume 27
26 | 2014
Volume 26

Index

Authors
Keywords

Keywords – proof theory

Arturo G. Grappone
Ideas on Hyperincursive Proof Theory

Site map

Conception : Chapitre neuf
Published with Lodel
Administration only