Enumerability – Decidability – Computability H. Hermes
Material type: TextPublication details: Berlin-Heidelberg-New York Springer 1965Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | CSR -511.352-HER (Browse shelf(Opens below)) | Available |
Browsing IMAR shelves 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 | No cover image available | ||
CSR-511.34-KRE Modelltheorie | CSR-511.34-SCH-1 Modell theorie I | CSR-511.34-SCH-2 Modell theorie II | CSR -511.352-HER Enumerability – Decidability – Computability | CSR -511.36-MIH Sisteme logice si forme normale in calculul propozitional bivalent | CSR-511.3-ABI Boolean rings | CSR -511.3-ALB Fundamnetele matematicii |
There are no comments on this title.
Log in to your account to post a comment.