The undecidable : basic papers on undercidable propositions, unsolvable problems and computable functions

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Davis, Martin, 1928- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Hewlett : Raven, 1965.
Θέματα:	Recursive functions. Gödel's theorem. Turing machines. Unsolvability (Mathematical logic) Computable functions.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC


LEADER	00000cam a2200000 i 4500
001	1/101142
008	090212s1965 eng d
035			\|l 10103140
040			\|a GR-MY-UA \|b gre \|e aacr
041	0		\|a eng
082	0		\|a 511.35 \|2 (22)
245	1	4	\|a The undecidable : \|b basic papers on undercidable propositions, unsolvable problems and computable functions / \|c edited by Martin Davis.
260			\|a Hewlett : \|b Raven, \|c 1965.
300			\|a 440 σ. ; \|c 24 εκ.
504			\|a Περιέχει ευρετήριο.
650	0	0	\|a Recursive functions.
650	0	0	\|a Gödel's theorem.
650	0	0	\|a Turing machines.
650	0	0	\|a Unsolvability (Mathematical logic)
650	0	0	\|a Computable functions.
700	1		\|a Davis, Martin, \|d 1928- \|e edt
852			\|a INST \|b SAMOS \|c MAG \|e 20090212 \|h 511.35 UND \|p 005300029365 \|q 005300029365 \|t BK \|y 0
901			\|a BIBL3-2009-1
909			\|a Σ \|b 155604
970			\|a ΣΙΤΖΙΜΗ \|b ΓΙΑΣΕΜΗ \|z 2009/02/12