Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | CSR-511.3-ABI (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-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 | CSR-511.3-ARN-1 Logic and Boolean Algebra | CSR -511.3-BAR The Lambda Calculus : Its Syntax snd Semantics / |
There are no comments on this title.
Log in to your account to post a comment.