Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Falguera López, José L (Auteur), Martínez Vidal, Concepción (Auteur)
Format:	Livre
Langue:	espagnol
Publié:	Madrid Trotta 1999
Collection:	Colección Estructuras y Procesos. Serie Filosofía
Sujets:	LOGICA CLASICA Lógica formal LOGICA - SISTEMAS AXIOMATICOS LOGICA - FORMALIZACION LOGICA - DESCRIPCIONES DEFINIDAS
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

MARC


LEADER	00000nam a2200000 a 4500
001	UCN8037
003	CL-VaPUC
008	011026e19990000SP \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|spa\|d
082	0	4	\|a 160 \|b FAL \|2 21
100	0		\|a Falguera López, José L \|e author \|9 464225
700	0		\|a Martínez Vidal, Concepción \|e author \|9 464226
245	1	0	\|a Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica
300			\|a 482 p
942			\|c BK
945			\|d 20011026 00:00:00 \|a crobeson
260			\|a Madrid \|b Trotta \|c 1999
650		7	\|a LOGICA CLASICA \|2 CL-VaPUC \|9 464227
650		0	\|a Lógica formal \|9 372553
650		7	\|a LOGICA - SISTEMAS AXIOMATICOS \|2 CL-VaPUC \|9 464228
650		7	\|a LOGICA - FORMALIZACION \|2 CL-VaPUC \|9 464229
650		7	\|a LOGICA - DESCRIPCIONES DEFINIDAS \|2 CL-VaPUC \|9 464230
583			\|a last modification \|c 20011026 00:00:00 \|k Rodrigo Vera
490	0		\|a Colección Estructuras y Procesos. Serie Filosofía
999			\|c 298120 \|d 298118
952			\|0 0 \|1 2 \|4 0 \|6 160_000000000000000_FAL_1999 \|7 0 \|8 A \|9 353479 \|a BIBTEO \|b BIBTEO \|d 2019-11-21 \|i 3715442 \|o 160 FAL 1999 \|p 3715442 \|r 2019-11-21 \|w 2019-11-21 \|y BK \|k ICR