Mechanizing hypothesis formation: mathematical foundations for a general theory/ P. Hájek, T. Havránek.
Series: UniversitextPublication details: Berlin ; New York: Springer-Verlag, 1978.Description: xv, 396 p.: ill.; 25 cmISBN:- 3540087389
- 0387087389 (U.S.)
- 511.3 H154m
Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 IMPA (Browse shelf(Opens below)) | 1 | Available | Lógica Matemática | 39063000095839 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
Includes index.
Bibliography: p. [387]-396.
There are no comments on this title.