Tavole semantiche per sistemi astratti di logica estensionale
Flavio Previale (1975)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Flavio Previale (1975)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Mario Servi (1998)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
L’albero binario (libero) è una struttura analoga a quella dei numeri naturali (standard), salvo che ci sono due operazioni di successivo. Nello studio degli alberi binari non standard, si ha bisogno di strutture ordinate che stiano a quella di albero binario libero come la struttura (ordinata) Z sta ad N. Si introducono perciò i clan binari e se ne studiano le classi di isomorfismo. Si dimostra che esse sono determinate dalle classi di similitudine delle successioni numerabili di 2...
Andrea Scozzari (2001)
Bollettino dell'Unione Matematica Italiana
Similarity:
Giuseppe Colombo (1958)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Giovanni Stegel (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Renato Bruni (2001)
Bollettino dell'Unione Matematica Italiana
Similarity:
Alessandro Avenali (2003)
Bollettino dell'Unione Matematica Italiana
Similarity: