Logic, computers, and sets

Guardat en:

Dades bibliogràfiques
Autor principal:	Wang, Hao (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Nueva York Chelsea Publishing Company 1970
Matèries:	Lógica matemática Lógica simbólica METODO AXIOMATICO FORMALIZACION COMPUTABILIDAD MAQUINAS DE TURING Álgebra booleana Teoría de números CALCULO DE PREDICADOS Teoría de conjuntos
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8261
003	CL-VaPUC
008	981209e19700000US \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b WAN \|2 21
100	0		\|a Wang, Hao \|e author \|9 422109
245	1	0	\|a Logic, computers, and sets
300			\|a 651 p
942			\|c BK
945			\|d 19981209 00:00:00 \|a crobeson
260			\|a Nueva York \|b Chelsea Publishing Company \|c 1970
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Lógica simbólica \|9 269868
650		7	\|a METODO AXIOMATICO \|2 CL-VaPUC \|9 422110
650		7	\|a FORMALIZACION \|2 CL-VaPUC \|9 422111
650		7	\|a COMPUTABILIDAD \|2 CL-VaPUC \|9 421904
650		7	\|a MAQUINAS DE TURING \|2 CL-VaPUC \|9 422112
650		0	\|a Álgebra booleana \|9 270639
650		0	\|a Teoría de números \|9 265327
650		7	\|a CALCULO DE PREDICADOS \|2 CL-VaPUC \|9 421888
650		0	\|a Teoría de conjuntos \|9 265668
583			\|a last modification \|c 19981209 00:00:00 \|k Rodrigo Vera
999			\|c 277546 \|d 277544
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_WAN_1970 \|7 0 \|8 A \|9 315539 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 1300237 \|o 511.3 WAN 1970 \|p 1300237 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT