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
.
View Basket
.
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
:
>
Search Simple
>
Browse Shelf
>
Catalogue Display
Search Results
Search Results
Your Search for
511.3
returned
263
Items
Sort Preference
7 - Author, Title
0 - Default
1 - Title, Publication
2 - Publication, Title
3 - Publication, Author
4 - Author, Publication
5 - Publication Descending
6 - Shelf Location
The titles shown in BOLD have items available, non bold titles do not have any items in stock
Refine Results
Authors:
1
AUTHOR
(30)
1
EDITOR
(17)
1
MUELLER GERT H
(8)
1
DALEN DIRK VAN
(6)
1
EBBINGHAUS HEINZ DIETER
(5)
Show more
Authors
Pub. Year:
1
1996
(12)
2
1998
(12)
1
2003
(11)
1
1995
(9)
2
2001
(9)
Show more
Pub. Year
Subjects:
1
MATHEMATICAL LOGIC AND FOUNDATIONS
(248)
1
MATHEMATICAL LOGIC
(217)
2
MATHEMATICS
(217)
1
LOGIC
(40)
2
LOGIC SYMBOLIC AND MATHEMATICAL
(40)
Show more
Subjects
Type:
1
Ebook
(260)
1
Monograph
(3)
Collection:
1
General
(3)
Language:
1
English
(260)
1
Italiano
(2)
1
French
(1)
Location:
1
SISSA
(3)
Display results in table format.
-
Previous Shelf
Top
Next Shelf
Top
-
-
Bounded arithmetic, propositional logic, and complexity theory
Krajicek, Jan
510.6 KRA
1
-
Title:
Bounded arithmetic, propositional logic, and complexity theory
Author:
Krajicek, Jan
Year:
1995
Collections:
General.
-
Cellular automata machines: a new environment for modeling
Margolus, Norman
517.97 TOF
2
-
Title:
Cellular automata machines: a new environment for modeling
Author:
Margolus, Norman
Year:
1987
Collections:
General.
-
Complexity and information
Traub, Joseph Frederick 1932-
519.6 TRA
3
-
Title:
Complexity and information
Author:
Traub, Joseph Frederick 1932-
Year:
1998
Collections:
General.
-
Towards a General Theory of Classifications
Parrochia, Daniel
Online Resource : Birkhäuser
4
-
Title:
Towards a General Theory of Classifications
Author:
Parrochia, Daniel
Year:
2013
-
Institution-independent Model Theory
Diaconescu, Răzvan
Online Resource : Birkhäuser
5
-
Title:
Institution-independent Model Theory
Author:
Diaconescu, Răzvan
Year:
2008
-
Non solo calcoli: Domande e risposte sui perché della matematica
Villani, Vinicio
Online Resource : Springer
6
-
Title:
Non solo calcoli: Domande e risposte sui perché della matematica
Author:
Villani, Vinicio
Year:
2012
-
Logic: A Brief Course
Mundici, Daniele
Online Resource : Springer
7
-
Title:
Logic: A Brief Course
Author:
Mundici, Daniele
Year:
2012
-
Kolmogorov's Heritage in Mathematics
Charpentier, Éric
Online Resource :Springer
8
-
Title:
Kolmogorov's Heritage in Mathematics
Author:
Charpentier, Éric
Year:
2007
-
A Beginner's Guide to Discrete Mathematics
Wallis, Walter D. 1941-
Online Resource: Birkhäuser
9
-
Title:
A Beginner's Guide to Discrete Mathematics
Author:
Wallis, Walter D. 1941-
Year:
2012
-
Proofs and Fundamentals: A First Course in Abstract Mathematics
Bloch, Ethan D. 1956-
Online Resource: Birkhäuser
10
-
Title:
Proofs and Fundamentals: A First Course in Abstract Mathematics
Author:
Bloch, Ethan D. 1956-
Year:
2003
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for