Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios

Saved in:

Bibliografiske detaljer
Main Authors:	Falguera López, José L (Author), Martínez Vidal, Concepción (Author)
Format:	Bog
Sprog:	spansk
Udgivet:	Madrid Trotta 1999
Serier:	Colección Estructuras y Procesos. Serie Filosofía
Fag:	LOGICA CLASICA Lógica formal LOGICA - SISTEMAS AXIOMATICOS LOGICA - FORMALIZACION LOGICA - DESCRIPCIONES DEFINIDAS
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

MARC


LEADER	00000nam a2200000 a 4500
001	UCN8038
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 464231
700	0		\|a Martínez Vidal, Concepción \|e author \|9 464232
245	1	0	\|a Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios
300			\|a 167 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 464233
650		0	\|a Lógica formal \|9 372553
650		7	\|a LOGICA - SISTEMAS AXIOMATICOS \|2 CL-VaPUC \|9 464234
650		7	\|a LOGICA - FORMALIZACION \|2 CL-VaPUC \|9 464235
650		7	\|a LOGICA - DESCRIPCIONES DEFINIDAS \|2 CL-VaPUC \|9 464236
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 298121 \|d 298119
952			\|0 0 \|1 2 \|4 0 \|6 160_000000000000000_FAL_1999 \|7 0 \|8 A \|9 353480 \|a BIBTEO \|b BIBTEO \|d 2019-11-21 \|i 3715450 \|o 160 FAL 1999 \|p 3715450 \|r 2019-11-21 \|w 2019-11-21 \|y BK \|k ICR