Logic in computer science. II/ editor: Silvia Ghilezan.
Series: Zbornik radova - Matematicki institut (Beograd) ; 18(26).Publication details: Belgrade: (Matematicki institut SANU), 2015.Description: 223 p.: Ill.; 24 cmISBN:- 8680593575
- 9788680593579
- 511.3 G424l
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 G424l 2015 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000678022 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
No cover image available |
![]() |
![]() |
||
511.3 G326 1974 IMPA Generalized recursion theory. Proceedings of the 1972 Oslo symposium/ | 511.3 G326 1978 IMPA Generalized recursion theory II: proceedings of the 1977 Oslo symposium/ | 511.3 G336g 1984 IMPA Godel's theorem simplified/ | 511.3 G424l 2015 IMPA Logic in computer science. II/ | 511.3 G434p 1938 IMPA Phénoménologie unitaire; recherches sur les propriétés générales de l'évolution/ | 511.3 G481f 1982 IMPA Frege, Dedekind, and Peano on the foundations of arithmetic/ | 511.3 G492a 1985 IMPA Algebraic logic/ |
Notes bibliogr.
There are no comments on this title.