Affiner votre recherche
Disponibilité
-
Auteurs
- Aczel, Peter (1)
- Baaz, Matthias (1)
- Bell, John L. (1)
- Buss, Samuel R. (1)
- Craig, William (1)
- Cupillari, Antonella (1)
- Hastie, Trevor (1)
- ISILC Proof Theory S... (1)
- Lerman,, M. (1)
- Maddox, Randall (1)
- Maddox, Randall B. (1)
- Müller,, G. H. (1)
- Poggiolesi, Francesc... (1)
- Roever, W. P. de (1)
- Schütte, K. (1)
- Sørensen, Morten Hei... (1)
- Takeuti, Gaisi (1)
- Urzyczyn, Paweł (1)
- Wainer, S. S. (1)
- Wainwright, Martin (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
-
Collection
-
Sujets
- Algebraic logic (1)
- Bewijstheorie (2)
- Calculus (1)
- Categories (Mathemat... (1)
- Combinatory logic (1)
- Computer software (1)
- Curry-Howard isomorp... (1)
- Lambda calculus (1)
- Logic, Symbolic and ... (5)
- Logique algébrique (1)
- Mathematical notatio... (1)
- MATHEMATICS (3)
- MATHEMATICS / Infini... (3)
- MATHEMATICS / Logic (3)
- Modality (Logic) (1)
- Parallel processing ... (1)
- Preuve, Théorie de l... (4)
- Proof theory (17)
- Proposition (Logic) (1)
- Afficher plus
- Afficher moins