Vista normal Vista MARC Vista ISBD

Hedman, Shawn

A first course in logic an introduction to model theory, proof theory, computability, and complexity / [recurso electrónico] : Shawn Hedman - Oxford : Oxford University, 2004 - xx, 431 p. : il. - Oxford texts in logic ; 1 .

Acceso sólo para usuarios de REDUNAM




Reproducción electrónica.
Boulder, Colorado :
NetLibrary,
2006

ISBN: 142377079X (libro electrónico) 9781423770794 (libro electrónico)

Subjects--Topical Terms:
Lógica
Lógica simbólica y matemática

Index Terms--Genre/Form:
Libros electrónicos.

LC Class. No.: QA9 / H36 2004le

Dewey Class. No.: 160