Enumerability, decidability, computability : an introduction to the theory of recursive functions /

Bibliographic Details
Main Author:	Hermes, Hans, 1912-2003
Other Authors:	Herman, G. T. (tr.), Plassmann, O. (tr.)
Format:	Book
Language:	English German
Published:	Berlin : Springer, 1965.
Series:	Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer berücksichtigung der anwendungsgebiete; Bd. 127
Subjects:	Recursive functions. Fuzzy logic. Fuzzy set theory. Gödel's theorem. Mathematical logic.

MARC


LEADER	00000nam a22000007a 4500
001	3114065
003	AR_CdUFM
005	20160908124415.0
008	840803s1965 wb a b 000 0 eng
040			\|a DLC/ICU \|c ICU \|d DLC
041	1		\|a eng \|h ger
100	1		\|9 7459 \|a Hermes, Hans, \|d 1912-2003.
245	1	0	\|a Enumerability, decidability, computability : \|b an introduction to the theory of recursive functions / \|c by Hans Hermes ; translated by G.T Herman and O. Plassmann.
260			\|a Berlin : \|b Springer, \|c 1965.
300			\|a ix, 245 p. : \|b il. ; \|c 24 cm.
490	0		\|a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer berücksichtigung der anwendungsgebiete; \|v Bd. 127
504			\|a Includes bibliographies.
650		4	\|a Recursive functions.
650		4	\|a Fuzzy logic.
650		4	\|a Fuzzy set theory.
650		4	\|a Gödel's theorem.
650		4	\|a Mathematical logic.
700	1		\|9 7450 \|a Herman, G. T., \|e tr.
700	1		\|9 13552 \|a Plassmann, O., \|e tr.
942			\|c LIBRO \|2
945			\|a MCR \|d 2010-03-16
952			\|0 0 \|1 0 \|2 MSC \|4 0 \|6 M_03_H553E \|7 0 \|9 19391 \|a MMA \|b MMA \|c 2 \|d 2010-03-16 \|e Baldaccini Pier \|l 0 \|o M 03 H553e \|p 20183 \|r 2023-01-26 \|w 2010-03-16 \|y LIBRO
999			\|c 15231 \|d 15230