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
:
Search Results
Search Results
Your Search for
511.3
returned
8
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
Search Result Page:
.
1
.
.
Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Refine Results
Authors:
1
ANDREKA HAJNALKA
(1)
2
AUTHOR
(1)
3
BERLINE CHANTAL
(1)
4
BUCHHOLZ WILFRIED
(1)
5
FEFERMAN SOLOMON
(1)
Show more
Authors
Pub. Year:
1
1981
(8)
Subjects:
1
MATHEMATICAL LOGIC
(8)
2
MATHEMATICAL LOGIC AND FOUNDATIONS
(8)
1
MATHEMATICS
(7)
1
CYLINDRIC ALGEBRAS
(1)
2
LOGIC
(1)
Show more
Subjects
Type:
1
Ebook
(8)
Language:
1
English
(8)
Display results in shelf format.
Search Results
Result
Thumbnail
Title
Author
Year
Flags
Holding Information
1
Select this title
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
839
1981
Shelf Location:
Online resource: Springer
.
2
Select this title
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
873
1981
Shelf Location:
Online resource: Springer
.
3
Select this title
Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
891
1981
Shelf Location:
Online resource: Springer
.
4
Select this title
Logic Year 1979–80: The University of Connecticut, USA / [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
859
1981
Shelf Location:
Online resource: Springer
.
5
Select this title
Model Theory and Arithmetic: Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80 / [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
890
1981
Shelf Location:
Online resource: Springer
.
6
Select this title
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1–3, 1979 / [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
872
1981
Shelf Location:
Online resource: Springer
.
7
Select this title
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [Ebook]
Series:
Lecture Notes in Mathematics,
Volume:
897
Buchholz, Wilfried
1981
Shelf Location:
Online resource: Springer
.
8
Select this title
Cylindric Set Algebras [Ebook]
Series:
Lecture Notes in Mathematics
Volume:
883
Henkin, Leon
1981
Shelf Location:
Online resource: Springer
.
Your Search for
511.3
returned
8
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
Search Result Page:
.
1
.
.
Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Export
Selected Records
These Results
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Quick Search
Search for
