著者
書誌事項
Oxford logic guides
Clarendon Press , Oxford University Press
- タイトル別名
-
OLG
この図書・雑誌をさがす
-
1
- Fragments of first-order logic
-
Ian Pratt-Hartmann
Oxford University Press c2023 Oxford logic guides 56 , Oxford science publications
所蔵館3館
-
2
- Consequence relations : an introduction to the Lindenbaum-Tarski method
-
Alex Citkin, Alexei Muravitsky
Oxford University Press c2022 Oxford logic guides 55
所蔵館1館
-
3
- Bolzano's logical system
-
Ettore Casari
Oxford University Press 2016 Oxford logic guides 54 , Oxford science publications
所蔵館7館
-
4
- Simplicity theory
-
Byunghan Kim
Oxford University Press 2014 Oxford logic guides 53 , Oxford science publications
所蔵館7館
-
5
- Computability and randomness
-
André Nies
Oxford University Press 2012, c2009 Oxford logic guides 51
: pbk
所蔵館8館
-
6
- Category theory
-
Steve Awodey
Oxford University Press 2011, c2010 2nd ed Oxford logic guides 52
: pbk
所蔵館1館
-
7
- Set theory : Boolean-valued models and independence proofs
-
John L. Bell
Clarendon Press 2011 3rd ed Oxford logic guides 47
: pbk
所蔵館7館
-
8
- Category theory
-
Steve Awodey
Oxford University Press 2010 2nd ed Oxford logic guides 52
: hard , : pbk
所蔵館72館
-
9
- Computability and randomness
-
André Nies
Oxford University Press 2009 Oxford logic guides 51 , Oxford science publications
所蔵館11館
-
10
- The structure of models of Peano arithmetic
-
Roman Kossak, James H. Schmerl
Clarendon , Oxford University Press 2006 Oxford logic guides 50 , Oxford science publications
所蔵館17館
-
11
- Category theory
-
Steve Awodey
Clarendon , Oxford University Press 2006 Oxford logic guides 49
所蔵館18館
-
12
- Algebraic methods in philosophical logic
-
J. Michael Dunn and Gary M. Hardegree
Clarendon Press , Oxford University Press 2005, c2001 Oxford logic guides 41
所蔵館1館
-
13
- From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
-
edited by Laura Crosilla and Peter Schuster
Clarendon Press 2005 Oxford logic guides 48
所蔵館15館
-
14
- Interpolation and definability : modal and intuitionistic logics
-
D.M. Gabbay, L. Maksimova
Clarendon Press 2005 Oxford logic guides 46
所蔵館17館
-
15
- Set theory : Boolean-valued models and independence proofs
-
John L. Bell
Clarendon Press 2005 3rd ed Oxford logic guides 47
所蔵館22館
-
16
- Reductive logic and proof-search : proof theory, semantics, and control
-
David J. Pym and Eike Ritter
Clarendon Press , Oxford University Press 2004 Oxford logic guides 45
: hbk
所蔵館13館
-
17
- Sketches of an elephant : a topos theory compendium
-
Peter T. Johnstone
Clarendon Press , Oxford University Press c2002 Oxford logic guides 43-44
v. 1 , v. 2 , : set
所蔵館41館
-
18
- Change, choice and inference : a study of belief revision and nonmonotonic reasoning
-
Hans Rott
Clarendon Press , Oxford University Press 2001 Oxford logic guides 42
所蔵館11館
-
19
- Algebraic methods in philosophical logic
-
J. Michael Dunn and Gary M. Hardegree
Clarendon Press , Oxford University Press 2001 Oxford logic guides 41
所蔵館23館
-
20
- Elements of intuitionism
-
Michael Dummett
Clarendon Press , Oxford University Press 2000 2nd ed Oxford logic guides 39
所蔵館34館
