Logic Colloquium '02
Regular price
€99.99
advanced mathematical logic topics
Banach Steinhaus Theorem
Category=PBCD
Cayley Graphs
computability theory
Computable Function
constructive mathematics
Dynamic Epistemic Logic
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Fundamental Sequence
Infinite Cardinals
Isomorphic Embeddings
Lindenbaum Algebra
Logic Colloquium
model theory
Natural Numbers
Order Language
ordinal analysis
Partial Recursive Function
Peano Arithmetic
Player II
Pointwise Bounded
Power Set Axiom
proof theory
Recursion Theorem
Recursive Ordinal
Regular Cardinal
set theory
Stationary Subset
Turing Degree
Turing Machine
Uniform Boundedness
Vice Versa
Winning Strategy
Product details
- ISBN 9781568813004
- Weight: 612g
- Dimensions: 152 x 229mm
- Publication Date: 13 Jul 2006
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Zoe Chatzidakis Department of Mathematics University of Paris 7 Peter Koepke Mathematical Institute University of Bonn Wolfram Pohlers Institute for Mathematical Logic and Foundational Research University of Munster
