Introduction to metamathematics

Saved in:

Bibliographic Details
Main Author:	Kleene, Stephen Cole
Format:	Book
Language:	English
Published:	New York: D. Van Nostrand, 1952.
Series:	The University series in higher mathematics The University series in higher mathematics
Subjects:	LOGICA MATEMATICA LOGICA FORMAL MATEMATICA COMPUTACIONAL CONJUNTOS (MATEMATICA) CALCULO PROPOSICIONAL FUNCIONES RECURSIVAS RECURSIVIDAD
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000 a 4500
003	AR-SmCIES
005	20240702160133.0
008	170703s1952####nyu\|\|\|\|f#\|\|\|\|\|00\| 0#eng#d
999			\|c 26414 \|d 26414
040			\|c AR-SmCIES
041		7	\|a en \|2 ISO 639-1
080			\|a 510.6
091			\|a 1555
100	1		\|a Kleene, Stephen Cole \|9 8022
245	1	0	\|a Introduction to metamathematics
260			\|a New York: \|b D. Van Nostrand, \|c 1952.
300			\|a x, 550 p.
440			\|a The University series in higher mathematics \|9 7981
650		4	\|a LOGICA MATEMATICA \|9 3960
650		4	\|a LOGICA FORMAL \|9 8019
650		4	\|a MATEMATICA COMPUTACIONAL \|9 8023
650		4	\|a MATEMATICA COMPUTACIONAL \|9 8023
650		4	\|a CONJUNTOS (MATEMATICA) \|9 8024
650		7	\|a CALCULO PROPOSICIONAL \|2 INIS \|9 8025
650		7	\|a FUNCIONES RECURSIVAS \|2 INIS \|9 8026
650		7	\|a RECURSIVIDAD \|2 INIS \|9 8027
830			\|a The University series in higher mathematics \|9 7981
942			\|2 udc \|c BK
952			\|0 0 \|1 0 \|2 udc \|4 0 \|7 0 \|a CIES-CAC \|b CIES-CAC \|d 2018-02-20 \|i 1555 \|o 510.6 K672 \|p 1555 \|r 2018-02-20 00:00:00 \|w 2018-02-20 \|y BK