On formally undecidable propositions of principia mathematica and related systems

Guardat en:

Dades bibliogràfiques
Autor principal:	Gödel, Kurt Friedrich (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Nueva York Dover 1992
Matèries:	Lógica Lógica matemática Matemática
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	UCO7091
003	CL-VaPUC
008	001110e19920000US \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b GOD \|2 21
100			\|a Gödel, Kurt Friedrich \|e author \|9 269759
245	1	0	\|a On formally undecidable propositions of principia mathematica and related systems
300			\|a 72 p
942			\|c BK
945			\|d 20001110 00:00:00 \|a vberengu
260			\|a Nueva York \|b Dover \|c 1992
650		0	\|a Lógica \|9 256849
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Matemática \|9 260235
583			\|a last modification \|c 20001110 00:00:00 \|k Rodrigo Vera
999			\|c 292298 \|d 292296
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_GOD_1992 \|7 0 \|8 A \|9 343076 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 3662357 \|o 511.3 GOD 1992 \|p 3662357 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT