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
MATHEMATICAL LOGIC AND FOUNDATIONS
returned
10
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
ABELES FRANCINE F
(1)
2
ABRAMSKY SAMSON
(1)
3
ANDREAS HOLGER
(1)
4
FINE BENJAMIN
(1)
5
FULLER MARK E
(1)
6
GRAETZER GEORGE
(1)
7
JU SHIER
(1)
8
KAHLE REINHARD
(1)
9
KANE JONATHAN M
(1)
10
KONTINEN JUHA
(1)
Pub. Year:
1
2016
(10)
Subjects:
1
MATHEMATICAL LOGIC
(10)
2
MATHEMATICAL LOGIC AND FOUNDATIONS
(10)
1
MATHEMATICS
(7)
1
LOGIC
(6)
1
ALGEBRA
(3)
Show more
Subjects
Type:
1
Ebook
(10)
Language:
1
English
(10)
Display results in shelf format.
Search Results
Result
Thumbnail
Title
Author
Year
Flags
Holding Information
1
Select this title
Advances in Proof Theory [Ebook]
Series:
Progress in computer science and applied logic
Volume:
28
2016
Shelf Location:
Online resource: Springer
.
2
Select this title
Advances in Proof-Theoretic Semantics [Ebook]
Series:
Trends in Logic, Studia Logica Library,
Volume:
43
2016
Shelf Location:
Online resource: Springer
.
3
Select this title
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / [Ebook]
Series:
Trends in the History of Science,
2016
Shelf Location:
Online resource: Springer
.
4
Select this title
Dependence Logic: Theory and Applications / [Ebook]
2016
Shelf Location:
Online resource: Springer
.
5
Select this title
Logical Studies of Paraconsistent Reasoning in Science and Mathematics [Ebook]
Series:
Trends in Logic, Studia Logica Library,
Volume:
45
2016
Shelf Location:
Online resource: Springer
.
6
Select this title
Modern Logic 1850-1950, East and West [Ebook]
Series:
Studies in Universal Logic,
2016
Shelf Location:
Online resource: Springer
.
7
Select this title
Number Theory: An Introduction via the Density of Primes / [Ebook]
Fine, Benjamin
2016
Shelf Location:
Online resource: Springer
.
8
Select this title
The Congruences of a Finite Lattice: A "Proof-by-Picture" Approach [Ebook]
Grätzer, George
2016
Shelf Location:
Online resource: Springer
.
9
Select this title
Writing Proofs in Analysis [Ebook]
Kane, Jonathan M.
2016
Shelf Location:
Online resource: Springer
.
10
Select this title
Ordered Sets: An Introduction with Connections from Combinatorics to Topology [Ebook]
Schröder, Bernd S. W.
2016
Shelf Location:
Online resource : Springer
.
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