Modelltheorie Kreisel, G.; Krivine, J. L.
Material type: TextPublication details: Berlin-Heidelberg-New York Springer 1972Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | CSR-511.34-KRE (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.33-RUT Introduction to Lattice Theory | CSR-511.33-SZA Introduction to Lattice theory | CSR-511.33-VES Elemente de teoria laticelor si aplicatii | 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 |
There are no comments on this title.
Log in to your account to post a comment.