Metalogica : introduccion a la metateoria de la logica clasica de primer orden / Geoffrey Hunter

By:

Material type: Text

TextLanguage: esp Series: Coleccion. Logica y Teoría de la CienciaMadrid : PARANINFO, 1981Description: 320 pISBN:

Subject(s):

DDC classification:

Contents:

CONTENIDO : Parte 1: Introducción : nociones generales

funcional

Parte 2 : Logica proporcional veritativo

Parte 3 : Logica de prodicados de primer orden : consistencia y completud

Parte 4 : Logica de predicados de primer orden : indecidibilidad

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Libros	Biblioteca Central Rafael Parga Cortes Colección general	Generalidades	164 H945m (Browse shelf(Opens below))	Ej. 1	Available		062110

CONTENIDO : Parte 1: Introducción : nociones generales

funcional

Parte 2 : Logica proporcional veritativo

Parte 3 : Logica de prodicados de primer orden : consistencia y completud

Parte 4 : Logica de predicados de primer orden : indecidibilidad

Con información de ANA01, completado con ANA02

There are no comments on this title.

to post a comment.