登入
選單
返回
Google圖書搜尋
Lógica matemática y computabilidad
Juan Sancho San Román
出版
Ediciones Díaz de Santos
, 1990
主題
Mathematics / Logic
ISBN
8487189539
9788487189531
URL
http://books.google.com.hk/books?id=tjnBpzdCtb8C&hl=&source=gbs_api
EBook
SAMPLE
註釋
Este libro intenta explicar con rigor y con claridad losconceptos básicos de la lógicamatemática, y su utilización para determinar qué funciones son computables.CONTENIDO DE LA OBRA:Preliminares. Lógica proposicional. Lógica de primer orden. Computabilidad.