Computer programming and formal systems.
Material type:
Item type | Home library | Call number | Status | Barcode | |
---|---|---|---|---|---|
![]() |
Centro de Información Eduardo Savino | 681.3.00 B73 (Browse shelf(Opens below)) | Available | 15377 |
Frent. port.: Studies in logic and the foundations of mathematics
Incl. Bibliografía al final de cada artículo.
Migrado de la base LIBRO
There are no comments on this title.