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
-
-
QED: fenomenologia della dimostrazione
Lolli, Gabriele
510.6 LOL
1
-
Title:
QED: fenomenologia della dimostrazione
Author:
Lolli, Gabriele
Year:
2005
Collections:
General.
-
Temi fondamentali della logica moderna
Makinson, David Clement 1941-
510.6 MAK
2
-
Title:
Temi fondamentali della logica moderna
Author:
Makinson, David Clement 1941-
Year:
1979
Collections:
General.
-
Teoria matematica della computazione
Manna, Zohar
510.6 MAN
3
-
Title:
Teoria matematica della computazione
Author:
Manna, Zohar
Year:
1978
Collections:
General.
-
Introduzione alla logica matematica
Mendelson, Elliott
510.6 MEN
4
-
Title:
Introduzione alla logica matematica
Author:
Mendelson, Elliott
Year:
1972
Collections:
General.
-
La prova di Gödel
Nagel, Ernest 1901-1985
510.6 NAG
5
-
Title:
La prova di Gödel
Author:
Nagel, Ernest 1901-1985
Year:
1974
Collections:
General.
-
Arithmetices principia, principi di geometria e di logica
Odifreddi, Piergiorgio 1950-
510.6 PEA
6
-
Title:
Arithmetices principia, principi di geometria e di logica
Author:
Odifreddi, Piergiorgio 1950-
Year:
2001-2002
Collections:
General.
-
Introduzione alla teoria dei modelli e alla metamatematica dell' algebra
Robinson, Abraham
510.6 ROB
7
-
Title:
Introduzione alla teoria dei modelli e alla metamatematica dell' algebra
Author:
Robinson, Abraham
Year:
1974
Collections:
General.
-
Simplified independence proofs: Boolean valued models of set theory
Rosser, John Barkley 1907-
510.6 ROS
8
-
Title:
Simplified independence proofs: Boolean valued models of set theory
Author:
Rosser, John Barkley 1907-
Year:
1969
Collections:
General.
-
La mente e l'infinito: scienza e filosofia dell'infinito
Rucker, Rudy 1946-
510.6 RUC
9
-
Title:
La mente e l'infinito: scienza e filosofia dell'infinito
Author:
Rucker, Rudy 1946-
Year:
2013
Collections:
General.
-
Logica matematica
Shoenfield, Joseph Robert
510.6 SHO
10
-
Title:
Logica matematica
Author:
Shoenfield, Joseph Robert
Year:
1980
Collections:
General.
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for