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

Browse Shelf



- -


- 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 1 -
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 2 -
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 3 -
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  4 -
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 5 -
Title: Teoria dei modelli
Author: Chang, Chen-Chung 1927-
Year: 1980
Collections: General.
- Che cos' è la logica matematica? Crossley, John Newsome 510.6 CHE 6 -
Title: Che cos' è la logica matematica?
Author: Crossley, John Newsome
Year: 1976
Collections: General.
- Aspects of mathematical logic [lectures of] Centro Internazionale Matematico Estivo (C.I.M.E.), III ciclo, Varenna, 9-17 settembre 1968 Centro Internazionale Matematico Estivo 1968 510.6 CIME 1968 7 -
Title: Aspects of mathematical logic [lectures of] Centro Internazionale Matematico Estivo (C.I.M.E.), III ciclo, Varenna, 9-17 settembre 1968
Author: Centro Internazionale Matematico Estivo 1968
Year: 1969
Collections: General.
- Model theory and applications [lecture notes of] Centro Internazionale Matematico Estivo (C.I.M.E.), II ciclo, Bressanone, 20-28 giugno 1975 Centro Internazionale Matematico Estivo 1975 510.6 CIME 1975 8 -
Title: Model theory and applications [lecture notes of] Centro Internazionale Matematico Estivo (C.I.M.E.), II ciclo, Bressanone, 20-28 giugno 1975
Author: Centro Internazionale Matematico Estivo 1975
Year: 1975
Collections: General.
- Recursion theory and computational complexity: 1. cicolo 1979 : Casa della Gioventu' Universitaria, Bressanone, 14-23 giugno 1979 Recursion theory and computational complexity: 1. cicolo 1979 : Casa della Gioventu' Universitaria, Bressanone, 14-23 giugno 1979510.6 CIME 1979 9 -
Title: Recursion theory and computational complexity: 1. cicolo 1979 : Casa della Gioventu' Universitaria, Bressanone, 14-23 giugno 1979
Author:
Year: 1981
Collections: General.
- An introduction to independence for analysts Dales, Harold G. 1944- An introduction to independence for analysts510.6 DAL 10 -
Title: An introduction to independence for analysts
Author: Dales, Harold G. 1944-
Year: 1987
Collections: General.


- -


Quick Search