Search - Université Clermont Auvergne Access content directly

Filter your results

11 Results
Domains : math.math-lo

Undecidable Extensions of Skolem Arithmetic

Alexis Bès , Denis Richard
J. Symb. Log., 1998, 63 (2), pp.379-401
Journal articles hal-01215414v1
Image document

Constituer ou axiomatiser ? Schlick, Russell et Carnap

Sébastien Gandon
2008
Preprints, Working Papers, ... halshs-00295083v1

Colloque National sur les Recherches en IUT

Patrick Cegielski , Jean-Pierre Raoult , Denis Richard
Quadrature, 1996, 24, pp.120
Journal articles hal-00097626v1
Image document

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
Image document

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

Foreword – Weak Arithmetics

Patrick Cegielski , Malika More
Theoretical Computer Science, 2004, 322, pp.1-3
Journal articles hal-00097609v1
Image document

On dichotomy above Feder and Vardi's logic

Alexey Barsukov
Computational Complexity [cs.CC]. Université Clermont Auvergne (UCA), 2022. English. ⟨NNT : ⟩
Theses tel-04100704v1
Image document

Handbook of the 6th World Congress and School on Universal Logic

Jean-Yves Béziau , Arthur Buchsbaum , Christophe Rey
2018
Books hal-02061601v1

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

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
Image document

On the additive theory of prime numbers II

Patrick Cegielski , Denis Richard , Maxim Vsemirnov
2005, pp.39-47
Conference papers hal-00096769v1