IEC Portal de publicacions null

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