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
-
-
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
1
-
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
2
-
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
3
-
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
4
-
Title:
An introduction to independence for analysts
Author:
Dales, Harold G. 1944-
Year:
1987
Collections:
General.
-
Computability & unsolvability
Davis, Martin 1928-
510.6 DAV
5
-
Title:
Computability & unsolvability
Author:
Davis, Martin 1928-
Year:
1982
Collections:
General.
-
A profile of mathematical logic
DeLong, Howard 1936-
510.6 DEL
6
-
Title:
A profile of mathematical logic
Author:
DeLong, Howard 1936-
Year:
1970
Collections:
General.
-
I fondamenti della matematica nel logicismo di Bertrand Russell
Donati, Stefano
510.6 DON
7
-
Title:
I fondamenti della matematica nel logicismo di Bertrand Russell
Author:
Donati, Stefano
Year:
2003
Collections:
General.
-
Mathematical structures for computer science
Gersting, Judith L.
510.6 GER
8
-
Title:
Mathematical structures for computer science
Author:
Gersting, Judith L.
Year:
1982
Collections:
General.
-
Mathematical structures for computer science
Gersting, Judith L.
510.6 GER 3rd ed.
9
-
Title:
Mathematical structures for computer science
Author:
Gersting, Judith L.
Year:
1993
Collections:
General.
-
Algebraic logic
Gindikin, S. G. (Semen Grigorevich)
510.6 GIN
10
-
Title:
Algebraic logic
Author:
Gindikin, S. G. (Semen Grigorevich)
Year:
1985
Collections:
General.
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for