Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.
Idiomas:
eng
ISBN:
0198529813 (pbk)
Lugar de Edición:
New York :
Editor:
Oxford University,
Fecha de Edición:
2004.
Edición #:
1st. ed. with corrections.
Notas #:
Reimpresión: 2006 (with corrections).
Notas Formateada:
Propositional logic - Structures and first-order logic - Proof theory - Properties of first-order logic - First-order theories - Models of countable theories - Computability and complexity - The incompleteness theorems - Beyond first-order logic - Finite model theory
Palabras clave:

Leader:
nam#
Campo 008:
071211s2004####enk####f######000#0#und#d
Campo 020:
##^a0198529813 (pbk)
Campo 041:
1#^aeng
Campo 100:
1#^aHedman, Shawn.
Campo 245:
12^aA first course in logic :^ban introduction to model theory, proof theory, computability, and complexity /^cShawn Hedman.
Campo 246:
Campo 250:
##^a1st. ed. with corrections.
Campo 260:
##^aNew York :^bOxford University,^c2004.
Campo 300:
##^axx, 431 p. :^btab. ;^c24 cm.
Campo 440:
#0^aOxford texts in logic ;^v1
Campo 500:
##^aReimpresión: 2006 (with corrections).
Campo 505:
0#^aPropositional logic - Structures and first-order logic - Proof theory - Properties of first-order logic - First-order theories - Models of countable theories - Computability and complexity - The incompleteness theorems - Beyond first-order logic - Finite model theory
Proveniencia:
##^aUniversidad Nacional de San Luis - Sistema de Bibliotecas
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Universidad Nacional de San Luis
Dependencia:
Sistema de Bibliotecas - Colección MARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito