First-order logic

Guardat en:

Dades bibliogràfiques
Autor principal:	Smullyan, Raymond M (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Berlín Springer-Verlag 1968
Matèries:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8700
003	CL-VaPUC
008	981217e19680000GW \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b SMU \|2 21
100	0		\|a Smullyan, Raymond M \|e author \|9 422815
245	1	0	\|a First-order logic
300			\|a 158 p
942			\|c BK
945			\|d 19981217 00:00:00 \|a cmena
260			\|a Berlín \|b Springer-Verlag \|c 1968
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Cálculo proposicional \|9 421897
650		0	\|a Teoría de números \|9 265327
650		0	\|a Teoría de conjuntos \|9 265668
650		0	\|a Razonamiento \|9 256520
650		7	\|a CALCULO DE RELACIONES \|2 CL-VaPUC \|9 422817
583			\|a last modification \|c 19981217 00:00:00 \|k Rodrigo Vera
999			\|c 277886 \|d 277884
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_SMU_1968 \|7 0 \|8 A \|9 316147 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 1307789 \|o 511.3 SMU 1968 \|p 1307789 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT