Memoirs of a Proof Theorist : Gödel and Other Logicians /

Salvato in:

Dettagli Bibliografici
Autore principale:	Takeuti, Gaisi (autor)
Altri autori:	Yasugi, Mariko (traducción) (traducción), Passell, Nicholas (traducción) (traducción)
Natura:	Libro
Lingua:	spagnolo
Pubblicazione:	Nueva Jersey, EUA : World Scientific, 2003, c2003
Soggetti:	Teoría de la Demostración - > Tema Principal Teoría Lógica Lógica Matemática Matemáticas - > Teoría Gödel, Kurt
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC


LEADER	00000nam^a2200000^a^4500
001	000177111
005	20250521000000.0
009	20260310101704.621
020			\|a 981-238-279-8
037			\|a Acervo ITESO - Biblioteca
041			\|a ESP
082			\|a 511. 3 \|b TAK
100			\|a Takeuti, Gaisi \|e (autor)
245	1	0	\|a Memoirs of a Proof Theorist : \|b Gödel and Other Logicians / \|c G. Takeuti ; tr. por M. Yasugi, N. Passell.
264		4	\|a Nueva Jersey, EUA : \|b World Scientific, \|c 2003, c2003
300			\|a XVIII, 135 p.
336			\|a texto \|b txt \|2 rdacontenido
337			\|a sin mediación \|b n \|2 rdamedio
338			\|a volumen \|b nc \|2 rdasoporte
649			\|a XX
650			\|a Teoría de la Demostración - \|x Tema Principal
650			\|a Teoría Lógica
650			\|a Lógica Matemática
650			\|a Matemáticas - \|x Teoría
650			\|a Gödel, Kurt
700			\|a Yasugi, Mariko \|e (traducción)
700			\|a Passell, Nicholas \|e (traducción)
910			\|a Fondo General
920			\|a Impresos - Libros
930			\|a Colección General
905			\|a 101
901			\|a 0500115823 \|b IT1 \|c ACC \|u 20250521
901			\|a 0500133058 \|b IT1 \|c ACC \|u 20250521
902			\|a https://opac.biblio.iteso.mx/vufind/Record/000177111