opac, catalogo, online,servizi, biblioteca, sebina

Mathematical interpretation of formal systems / Th. Skolem ... [et al.]. - Amsterdam : North-Holland, 1955. - VIII, 113 p. ; 22 cm

Testo a stampa (moderno) 1955