Structures ordonnées et algèbres de Boole/ par R. Faure et E. Heurgon.
Series: Collection Programmation | Publications de l'Institut de programmation de la Faculté des sciences de ParisPublication details: Paris: Gauthier-Villars, 1971.Description: xiv, 292 p.: illus., 27 cmSubject(s): DDC classification:- 511.3
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F265s 1971 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000012602 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | ||||||
511.3 E64c 1989 IMPA Computability: computable functions, logic, and the foundations of mathematics/ | 511.3 E64w 1992 IMPA Word processing in groups/ | 511.3 E78 1968 IMPA Essays on Frege/ | 511.3 F265s 1971 IMPA Structures ordonnées et algèbres de Boole/ | 511.3 F435d 1969 IMPA Dictionary of symbols of mathematical logic/ | 511.3 F435m 1965 IMPA Modal logics./ | 511.3 F533f 1982 IMPA Formal number theory and computability: a workbook/ |
Bibliography: p. [285]-287.
There are no comments on this title.