A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Catégories
> 03-XX Mathematical logic and foundations > 03GXX Algebraic logic > 03G25 Other algebras related to logic Voir aussi :
03F45 Provability logics and related algebras (e.g., diagonalizable algebras) /
06D20 Heyting algebras /
06E25 Boolean algebras with additional operations (diagonalizable algebras, etc.) /
06F35 BCK-algebras, BCI-algebras
Affiner la rechercheSemigroups underlying first-order logic / William Craig
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19612 Mem/866 imprimé / autre CRDM Mem/MEMOIRS AMS Disponible

