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
OXFORD LOGIC GUIDES
returned
9
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
BELL JOHN LANE 1945
(2)
1
CASARI ETTORE
(1)
2
CHAPMAN JONATHAN
(1)
3
CROSILLA LAURA
(1)
4
GABBAY DOV M
(1)
Show more
Authors
Pub. Year:
1
2007
(5)
1
1988
(1)
2
1992
(1)
3
2014
(1)
4
2017
(1)
Subjects:
1
LOGIC SYMBOLIC AND MATHEMATICAL
(5)
1
SET THEORY
(4)
1
LOGIC
(2)
2
TOPOSES
(2)
1
ALGEBRA BOOLEAN
(1)
Show more
Subjects
Type:
1
Ebook
(7)
1
Monograph
(2)
Collection:
1
General
(2)
Language:
1
English
(9)
Location:
1
SISSA
(2)
Display results in shelf format.
Search Results
Result
Thumbnail
Title
Author
Year
Flags
Holding Information
1
Select this title
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics [Ebook]
Series:
Oxford logic guides
Volume:
48
2007
Shelf Location:
Online Resource : Oxford Scholarship Online
.
2
Select this title
Set theory: Boolean-valued models and independence proofs [Ebook]
Series:
Oxford logic guides
Volume:
47
Bell, John Lane 1945-
2007
Shelf Location:
Online Resource : Oxford Scholarship Online
.
3
Select this title
Toposes and local set theories: an introduction [Monograph ]
Series:
Oxford logic guides
Volume:
14
Bell, John Lane 1945-
1988
Shelf Location:
510.2 BEL
.
Collections:
General.
Number of Holdings:
1.
4
Select this title
Bolzano's logical system [Ebook]
Series:
Oxford logic guides
Volume:
54
Casari, Ettore
2017
Shelf Location:
Online Resource : Oxford Scholarship Online
.
5
Select this title
Relative category theory and geometric morphisms: a logical approach [Monograph ]
Series:
Oxford logic guides
Volume:
v.16
Chapman, Jonathan
1992
Shelf Location:
510.2 CHA
.
Collections:
General.
Number of Holdings:
1.
6
Select this title
Interpolation and definability: modal and intuitionistic logic [Ebook]
Series:
Oxford logic guides
Volume:
46
Gabbay, Dov M.
2007
Shelf Location:
Online Resource : Oxford Scholarship Online
.
7
Select this title
Simplicity theory [Ebook]
Series:
Oxford logic guides
Volume:
53
Kim, Byunghan
2014
Shelf Location:
Online Resource : Oxford Scholarship Online
.
8
Select this title
The structure of models of Peano arithmetic [Ebook]
Series:
Oxford logic guides
Volume:
50
Kossak, Roman
2007
Shelf Location:
Online Resource : Oxford Scholarship Online
.
9
Select this title
Reductive logic and proof-search: proof theory, semantics, and control [Ebook]
Series:
Oxford logic guides
Volume:
45
Pym, David J.
2007
Shelf Location:
Online Resource : Oxford Scholarship Online
.
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
