Your search query has been changed...Tried: (logic, and symbolic and mathematical and famous and proble)
no results found...Tried: (logic, or symbolic or mathematical or famous or proble)
17564 results found. Sorted by relevance .
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for SymbolicLogic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss.
An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch.
Local Note
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America