Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for OXFORD LOGIC GUIDES returned 9 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 From sets and types to topology and analysis: towards practicable foundations for constructive mathematics From sets and types to topology and analysis: towards practicable foundations for constructive mathematics [Ebook]
Series:Oxford logic guidesVolume:48
  2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
2 Set theory: Boolean-valued models and independence proofs Set theory: Boolean-valued models and independence proofs [Ebook]
Series:Oxford logic guidesVolume:47
Bell, John Lane 1945- 2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
3 Toposes and local set theories: an introduction Toposes and local set theories: an introduction [Monograph ]
Series:Oxford logic guidesVolume:14
Bell, John Lane 1945- 1988 Monograph Shelf Location: 510.2 BEL.
Collections: General.
Number of Holdings: 1.
4 Bolzano's logical system Bolzano's logical system [Ebook]
Series:Oxford logic guidesVolume:volume 54
Casari, Ettore 2017 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
5 Relative category theory and geometric morphisms: a logical approach Relative category theory and geometric morphisms: a logical approach [Monograph ]
Series:Oxford logic guidesVolume:v.16
Chapman, Jonathan 1992 Monograph Shelf Location: 510.2 CHA.
Collections: General.
Number of Holdings: 1.
6 Interpolation and definability: modal and intuitionistic logic Interpolation and definability: modal and intuitionistic logic [Ebook]
Series:Oxford logic guidesVolume:46
Gabbay, Dov M. 2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
7 Simplicity theory Simplicity theory [Ebook]
Series:Oxford logic guidesVolume:53
Kim, Byunghan 2014 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
8 The structure of models of Peano arithmetic The structure of models of Peano arithmetic [Ebook]
Series:Oxford logic guidesVolume:50
Kossak, Roman 2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
9 Reductive logic and proof-search: proof theory, semantics, and control Reductive logic and proof-search: proof theory, semantics, and control [Ebook]
Series:Oxford logic guidesVolume:45
Pym, David J. 2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

. E-mail This Page
Quick Search