Computability and unsolvability

保存先:

書誌詳細
第一著者:	Davis, Martin (著者)
フォーマット:	図書
言語:	英語
出版事項:	Nueva York Dover 1982
シリーズ:	Dover Books on Mathematics
主題:	COMPUTABILIDAD FUNCIONES RECURSIVAS Lógica matemática MAQUINAS DE TURING
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

MARC


LEADER	00000nam a2200000 a 4500
001	UCO7093
003	CL-VaPUC
008	001110e19820000US \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b DAV \|2 21
100	0		\|a Davis, Martin \|e author \|9 451756
245	1	0	\|a Computability and unsolvability
300			\|a 248 p
942			\|c BK
945			\|d 20001110 00:00:00 \|a vberengu
260			\|a Nueva York \|b Dover \|c 1982
650		7	\|a COMPUTABILIDAD \|2 CL-VaPUC \|9 421904
650		7	\|a FUNCIONES RECURSIVAS \|2 CL-VaPUC \|9 270697
650		0	\|a Lógica matemática \|9 262442
650		7	\|a MAQUINAS DE TURING \|2 CL-VaPUC \|9 451757
583			\|a last modification \|c 20001110 00:00:00 \|k Rodrigo Vera
490	0		\|a Dover Books on Mathematics
999			\|c 292300 \|d 292298
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_DAV_1982 \|7 0 \|8 A \|9 343078 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 3662373 \|o 511.3 DAV 1982 \|p 3662373 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT