top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Siefkes, Dirk
ID:
57138
Opere
Altre forme del nome
Siefkes, Dirk
Siefkes, Dirk
Siefkes Dirk
Seleziona tutte
Deseleziona
Buchi's monadic second order successor arithmetic
...
Decidable theories
...
Decidable theories I
...
Decidable theories I
...
Decidable theories II
...
Monadic second order theory of all countable ordinals
...
Persona
Opera