Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Browse Shelf



- -


- Fuzzy set theory and its applications Zimmermann, Hans-Jürgen. 1934- Fuzzy set theory and its applications510.2 ZIM 1 -
Title: Fuzzy set theory and its applications
Author: Zimmermann, Hans-Jürgen. 1934-
Year: 1991
Collections: General.
- Logica a informatica Asperti, Andrea Logica a informatica510.6 ASP 2 -
Title: Logica a informatica
Author: Asperti, Andrea
Year: 1997
Collections: General.
- Una logica dei termini singolari Bencivegna, Ermanno 510.6 BEN 3 -
Title: Una logica dei termini singolari
Author: Bencivegna, Ermanno
Year: 1980
Collections: General.
- Computability, complexity, logic Börger, E. (Egon) 1946- Computability, complexity, logic510.6 BOR 4 -
Title: Computability, complexity, logic
Author: Börger, E. (Egon) 1946-
Year: 1989
Collections: General.
- Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità Börger, E. (Egon) 1946- Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità510.6 BOR 5 -
Title: Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità
Author: Börger, E. (Egon) 1946-
Year: 1989
Collections: General.
- Il computer di Platone: alle origini del pensiero logico e matematico Borzacchini, Luigi Il computer di Platone: alle origini del pensiero logico e matematico510.6 BOR 6 -
Title: Il computer di Platone: alle origini del pensiero logico e matematico
Author: Borzacchini, Luigi
Year: 2005
Collections: General.
- Lezioni sull' intuizionismo: Cambridge 1946-51 Brouwer, Luitzen Egbert Jan 510.6 BRO 7 -
Title: Lezioni sull' intuizionismo: Cambridge 1946-51
Author: Brouwer, Luitzen Egbert Jan
Year: 1983
Collections: General.
- La formazione della teoria degli insiemi: saggi 1872-1883 Cantor, Georg 1845-1918 La formazione della teoria degli insiemi: saggi 1872-1883 510.6 CAN 8 -
Title: La formazione della teoria degli insiemi: saggi 1872-1883
Author: Cantor, Georg 1845-1918
Year: 1992
Collections: General.
- Teoria della dimostrazione: normalizzazioni e assegnazioni di numeri ordinali Cellucci, Carlo 510.6 CEL  9 -
Title: Teoria della dimostrazione: normalizzazioni e assegnazioni di numeri ordinali
Author: Cellucci, Carlo
Year: 1978
Collections: General.
- Teoria dei modelli Chang, Chen-Chung 1927- 510.6 CHA 10 -
Title: Teoria dei modelli
Author: Chang, Chen-Chung 1927-
Year: 1980
Collections: General.


- -


Quick Search