Oxford Logic Guides
ブックシリーズ
によって Raymond M. Smullyan
最新:
2010
本 21
本 22
本 23
本 24
本 25
本 26
本 27
本 28
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1
によって Dov M. Gabbay, Mark A. Reynolds
本 29
本 30
本 31
本 32
本 33
本 34
本 35
本 36
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.
によって Giovanni Sambin, Jan Smith
本 37
本 38
本 39
本 40
Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)
によって Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
本 41
本 42
本 43
本 44
![[(Sketches of an Elephant: v.2: A Topos Theory Compendium )] [Author: Peter T. Johnstone] [Nov-2002]](https://images.bookpine.com/21136775-08cf-4251-bdcb-56cadf7d6a62.jpg)
本 45
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
によって David J. Pym, Eike Ritter
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.
によって David J. Pym, Eike Ritter
本 46
Interpolation and Definability: Modal and Intuitionistic Logics
によって Dov M. Gabbay, Larisa Maksimova
本 47
本 48
本 50
本 51
本 52
本 43-44
