Naviga IRIS

Sfoglia per Serie OUTSTANDING CONTRIBUTIONS TO LOGIC

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 4 di 4

2016-01-01 Cantone, D.; Omodeo, E. G.; Policriti, A.

2017-01-01 Omodeo, Eugenio G.; Policriti, Alberto

2018-01-01 D'Agostino, Giovanna

2016-01-01 Omodeo, E. G.; Policriti, A.

Titolo	Data di pubblicazione	Autore(i)
Banishing Ultrafilters from Our Consciousness	1-gen-2016	Cantone, D.; Omodeo, E. G.; Policriti, A.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations	1-gen-2017	Omodeo, Eugenio G.; Policriti, Alberto
mu-levels of interpolation	1-gen-2018	D'Agostino, Giovanna
Preface	1-gen-2016	Omodeo, E. G.; Policriti, A.

Mostrati risultati da 1 a 4 di 4