IEC Portal de publicacions cataleg������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������ModuleName=

Cerca Cerca avançada
Títol Autor/a
Col·lecció Matèria
Any d'edició ISBN
Entitat responsable Tipus de publicació
Cerca exhaustiva
 
 
 
 
Resultat de la cerca Registres 1 a 1 (1 registres en total)
Sobre el programa de Hilbert i l'aritmètica formalment recursiva
-- Article --
 Autor/a: Tomàs, Francesc
 Matèria:   Lògica matemàtica
Aritmètica
Hilbert, David - Contribucions al concepte de formalisme
Aritmètica - Llenguatge
Funcions recursives
Aritmètica - Fonaments
Matemàtica - Filosofia
 Publicació: Butlletí de la Societat Catalana de Matemàtiques 		Veure fitxa
Fitxa completa
Pàgina 1 de 1  
   Primera Anterior
Anar a la pàgina:
Següent Última

Dades de l´usuari/ària