28532 articles – 22057 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]