Formal Methods : an introduction to symbolic logic and to the Study of Efective Operations in Arithmetic and Logic
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Biblioteca Fac.Ciencias Económicas | PHL 164 BET (Browse shelf(Opens below)) | Consulta en Sala | DEO-LIB-59228 |
There are no comments on this title.