Proof theory
Publié par : Cambridge University Press. (Cambridge ) Détails physiques : x, 306 pages. ISBN :0521054168 (pbk.); 9780521054164 (pbk.). Année : 1992| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
|---|---|---|---|---|---|---|
| Livre | La bibliothèque des Sciences Exactes et Naturelles | 511.3 ACZ (Parcourir l'étagère) | Disponible | 0000000022432 |
Total des réservations: 0
Survol La bibliothèque des Sciences Exactes et Naturelles Étagères Fermer l'étagère
|
Pas d'image disponible |
|
|
|
|
Pas d'image disponible | ||
| 511 LEF Applied stochastic processes / | 511 TEM Modlisation mathématique et mécanique des milieux continus | 511.1 YE Strict finitism and the logic of mathematical applications | 511.3 ACZ Proof theory | 511.3 ADA Game of life cellular automata | 511.3 AMA Domains and lambda-calculi | 511.3 AND VOL.2 Entailment : the logic of relevance and necessity / |


Il n'y a pas de commentaire pour ce document.