Refine your search
Availability
-
Authors
- Barendregt, Henk (1)
- Cook, Stephen (1)
- Dekkers, Wil (1)
- Nguyen, Phuong (1)
- Schwichtenberg, Helm... (1)
- Simpson, Stephen G. (1)
- Statman, Richard (1)
- Wainer, S. S. (1)
- Show more
- Show less
-
Collections
- E-Books EBSCO (4)
-
Home libraries
-
Item types
- Electronic-Books (4)
-
Series
-
Topics
- Calcul des prédicats (1)
- Complexité de calcul... (1)
- Computable functions (1)
- Computational comple... (1)
- COMPUTERS (2)
- Fonctions calculable... (1)
- Lambda calculus (1)
- Lambda-calcul (1)
- Logic, Symbolic and ... (1)
- Logique symbolique e... (1)
- Machine theory (1)
- MATHEMATICS (3)
- Predicate calculus (1)
- Proof theory (2)
- Théorie de la preuve (2)
- Théorie des automate... (1)
- Show more
- Show less