Formal Methods : an introduction to symbolic logic and to the Study of Efective Operations in Arithmetic and Logic
Material type:
TextPublication details: Dordrecht : Reidel, 1962Description: 170 pSubject(s):
| Item type | Current library | Call number | Status | Date due |
|---|---|---|---|---|
Libros
|
Biblioteca Fac.Ciencias Económicas | PHL 164 BET (Browse shelf(Opens below)) | Consulta en Sala |
Browsing Biblioteca Fac.Ciencias Económicas shelves Close shelf browser (Hides shelf browser)
| PHL 162.6 GUR Dialectique et sociologie | PHL 163 RUS El conocimiento humano : su alcance y sus limitaciones | PHL 164 AGA La lógica simbólica | PHL 164 BET Formal Methods : an introduction to symbolic logic and to the Study of Efective Operations in Arithmetic and Logic | PHL 164 CAR Symbolic Logic and the Game of Logic | PHL 164 COH 2 T.1 Introducción a la lógica y al método científico | PHL 164 COH T.1 Introducción a la lógica y al método científico |
There are no comments on this title.