|
|
Undecidable Extensions of Skolem Arithmetic
Alexis Bès
,
Denis Richard
J. Symb. Log., 1998, 63 (2), pp.379-401
Journal articles
hal-01215414v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Constituer ou axiomatiser ? Schlick, Russell et Carnap
Sébastien Gandon
2008
Preprints, Working Papers, ...
halshs-00295083v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Colloque National sur les Recherches en IUT
Patrick Cegielski
,
Jean-Pierre Raoult
,
Denis Richard
Quadrature, 1996, 24, pp.120
Journal articles
hal-00097626v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Which arithmeticisation for which logicism? Russell on relations and quantities in The Principles of Mathematics
Sébastien Gandon
History and Philosophy of Logic, 2008, 29 (1), pp.1-30
Journal articles
halshs-00299868v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Mémoire d'habilitation à diriger des recherches
Florent Madelaine
Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012
Habilitation à diriger des recherches
tel-01096078v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Foreword – Weak Arithmetics
Patrick Cegielski
,
Malika More
Theoretical Computer Science, 2004, 322, pp.1-3
Journal articles
hal-00097609v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On dichotomy above Feder and Vardi's logic
Alexey Barsukov
Computational Complexity [cs.CC]. Université Clermont Auvergne (UCA), 2022. English. ⟨NNT : ⟩
Theses
tel-04100704v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Handbook of the 6th World Congress and School on Universal Logic
Jean-Yves Béziau
,
Arthur Buchsbaum
,
Christophe Rey
2018
Books
hal-02061601v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France
Patrick Cegielski
,
Leszek Pacholski
,
Denis Richard
,
Jerzy Tomasik
,
Alex Wilkie
et al.
Annals of Pure and Applied Logic, 1987, 89, pp.1-3
Journal articles
hal-00097607v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Théorie des nombres et informatique
Patrick Cegielski
,
François Heroult
,
Denis Richard
CNR'IUT 2001, Presses Universitaires de Saint-Étienne, pp.249-256, 2001
Book sections
hal-00097601v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the additive theory of prime numbers II
Patrick Cegielski
,
Denis Richard
,
Maxim Vsemirnov
2005, pp.39-47
Conference papers
hal-00096769v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|