33969 articles – 26751 Notices  [english version]
.:. Consultation > Par auteur > Aschieri .:.
3 documents classés par :

fulltext access Eliminating Skolem Functions in Peano Arithmetic with Interactive Realizability
Aschieri F., Zorzi M.
(2012) [hal-00690270 - version 1]
fulltext access Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms
Aschieri F.
(2012) [hal-00685360 - version 2]
fulltext access Interactive Realizability for Second-Order Heyting Arithmetic with EM1 and SK1
Aschieri F.
(05/01/2012) [hal-00657054 - version 2]