Tavole semantiche per sistemi astratti di logica estensionale
Flavio Previale (1975)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: