Computability and unsolvability

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Davis, Martin (Հեղինակ)
Ձևաչափ:	Գիրք
Լեզու:	անգլերեն
Հրապարակվել է:	Nueva York McGraw-Hill 1958
Խորագրեր:	INSOLUBILIDAD LOGICA MATEMATICA FUNCIONES RECURSIVAS FUNCIONES COMPUTABLES
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

MARC


LEADER	00000nam a2200000 a 4500
001	UCW1273
003	CL-VaPUC
008	911223e19580000US \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b DAV \|2 21
100	0		\|a Davis, Martin \|e author \|9 305193
245	1	0	\|a Computability and unsolvability
300			\|a 210 p
942			\|c BK
945			\|d 19911223 00:00:00
260			\|a Nueva York \|b McGraw-Hill \|c 1958
650		7	\|a INSOLUBILIDAD LOGICA MATEMATICA \|2 CL-VaPUC \|9 270696
650		7	\|a FUNCIONES RECURSIVAS \|2 CL-VaPUC \|9 270697
650		7	\|a FUNCIONES COMPUTABLES \|2 CL-VaPUC \|9 270698
583			\|a last modification \|c 19911223 00:00:00 \|k Rodrigo Vera
999			\|c 216190 \|d 216188
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_DAV_1958 \|7 0 \|8 A \|9 201692 \|a BIBMAT \|b BIBMAT \|d 2019-11-14 \|i 2689375 \|o 511.3 DAV 1958 \|p 2689375 \|r 2025-01-07 \|w 2019-11-14 \|y BK \|k MAT