Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Storico ricerche
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
Tutti i filtri della tua ricerca
Formato
Data di pubblicazione
Data
Lingua di pubblicazione
Biblioteca
Autore (Persona)
Opere
Editore
Livello bibliografico
Soggetto topico
03-XX - Mathematical logic and foundations [MSC 2020]
(2)
03B10 - Classical first-order logic [MSC 2020]
(2)
03C07 - Basic properties of first-order languages and structures [MSC 2020]
(2)
03Exx - Set theory [MSC 2020]
(2)
Logic, Symbolic and mathematical
(2)
Model theory
(2)