Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Browse Shelf
Browse Shelf
-
Previous Shelf
Top
Next Shelf
Top
-
-
Il computer di Platone: alle origini del pensiero logico e matematico
Borzacchini, Luigi
510.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
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
510.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-
510.6 DAL
10
-
Title:
An introduction to independence for analysts
Author:
Dales, Harold G. 1944-
Year:
1987
Collections:
General.
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for