Theory of formal systems

Guardat en:

Dades bibliogràfiques
Autor principal:	Smullyan, Raymond M (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Princeton Princeton University 1961
Col·lecció:	Annals of Mathematics Studies
Matèries:	Lógica matemática Metamatemáticas Teoría de números OPERADORES LOGICOS Algoritmos TEORIA LOGICA
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8701
003	CL-VaPUC
008	981217e19610000us \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b SMU \|2 21
100	0		\|a Smullyan, Raymond M \|e author \|9 422818
245	1	0	\|a Theory of formal systems
300			\|a 147 p
942			\|c BK
945			\|d 19981217 00:00:00 \|a cmena
260			\|a Princeton \|b Princeton University \|c 1961
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Metamatemáticas \|9 268160
650		0	\|a Teoría de números \|9 265327
650		7	\|a OPERADORES LOGICOS \|2 CL-VaPUC \|9 360785
650		0	\|a Algoritmos \|9 260639
650		7	\|a TEORIA LOGICA \|2 CL-VaPUC \|9 371154
583			\|a last modification \|c 20171205 02:36:46 \|k Rodrigo Vera
490	0		\|a Annals of Mathematics Studies
999			\|c 277887 \|d 277885
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_SMU_1961 \|7 0 \|8 A \|9 316148 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 1307797 \|o 511.3 SMU 1961 \|p 1307797 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT