文档介绍：OXFORD LOGIC GUIDES
Series Editors
. GABBAY
. MACINTYRE
. SCOTT
OXFORD LOGIC GUIDES
Available books in the series:
10. Michael Hallett: Cantorian set theory and limitation of size
17. Stewart Shapiro: Foundations without foundationalism
18. John P. Cleave: A study of logics
21. C. McLarty: Elementary categories, elementary toposes
22. . Smullyan: Recursion theory for metamathematics
23. Peter Clote and Jan Kraj´ıˇcek: Arithmetic, proof theory, putational
complexity
24. A. Tarski: Introduction to logic and to the methodology of deductive sciences
25. G. Malinowski: Many valued logics
26. Alexandre Borovik and Ali Nesin: Groups of finite Morley rank
27. . Smullyan: Diagonalization and self-reference
28. Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds: Temporal logic: Mathemat-
ical foundations putational aspects: volume 1
29. Saharon Shelah: Cardinal arithmetic
30. Erik Sandewall: Features and fluents: Volume I: A Systematic approach to the
representation of knowledge about dynamical systems
31. . Forster: Set theory with a universal set: Exploring an untyped universe, second
edition
32. Anand Pillay: Geometric stability theory
33. Dov M. Gabbay: Labelled deductive systems
35. Alexander Chagrov and Michael Zakharyaschev: Modal logic
36. G. Sambin and J. Smith: Twenty-five years of Martin-L¨of constructive type theory
37. Mar´ıa Manzano: Model theory
38. Dov M. Gabbay: Fibring logics
39. Michael Dummet: Elements of Intuitionism, second edition
40. . Gabbay, . Reynolds, and Marcelo Finger: Temporal logic: Mathematical
foundations putational aspects volume 2
41. . Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic
42. H. Rott: Change, Choice and Inference: A study of belief revision and non-
monotonic reasoning
43. . Johnstone: Sketches of an Elephant: A topos pendium: Volume 1
44. . Johnstone: Sketches of an Elephant: A topos pendium: Volume 2
45. David J. Pym and Eike Ritter: R