Nantilus
Cut elimination in categories
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Cut elimination in categories / Kosta Došen |
| Publié : |
Dordrecht, London :
Kluwer Academic
, c1999 |
| Description matérielle : | xii-229 p. |
| Collection : | Trends in logic Ryszard Wójcicki |
| Sujets : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | L 17026 | Empruntable | Disponible |