图书简介 馆藏图书馆

1 The method of hypersequents in the proof theory of propositional non-classical logic; 2 Church-Rosser lambda theories, infinite lambda-terms and consistency problems; 3 Baire category for monotone sets; 4 Equality in substructural logics; 5 Substructural predicates; 6 Critical points in an algebra of elementary embeddings II; 7 O-minimality nd tame topology; 8 Embeddings of Heyting algebras; 9 Embedding normal forms; 10 Analysing proofs in analysis; 11 Subalgebras of Cohen Algebras need not be Cohen; 12 Independence structures in set theory; 13 Recovering the action of an automorphism group; 14 On the logical strength of Nash-Williams’ theorem on transfinite sequences; 15 Open questions around Buchi and Presburger arithmetics; 16 A growth dichotomy for O-minimal expansions of ordered fields; 17 Lukasiewicz normal forms and toric desingularizations; 18 Fine hierarchy and definability in the Lindenbaum algebra; 19 From logic problems to inductive definitions; 20 Hyperstable theories; 21 Quasi-Riemann Surfaces

Trade Policy 买家须知