12,933円 This book provides a one-semester undergraduate introduction to counterexamples in calculus and analysis. It helps engineering, natural sciences, and mathematics students tackle commonly made erroneous conjectures. The book encourages students to think critically and analytically, and helps to re...

12,269円 The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area...

12,269円 A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathe...

10,943円 A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessi...

15,752円 Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm. As the focus of calculus instruction has become increasingly computational, it leaves many students ill prepared for more advanced work that requires th...

69,648円 An exploration of the construction and analysis of translation planes to spreads, partial spreads, co-ordinate structures, automorphisms, autotopisms, and collineation groups. It emphasizes the manipulation of incidence structures by various co-ordinate systems, including quasisets, spreads and m...

14,923円 The study of polynomial completeness of algebraic systems has only recently matured, and until now, lacked a unified treatment. Polynomial Completeness in Algebraic Systems examines the entire field with one coherent approach. The authors focus on the theory of affine complete varieties but also ...

12,269円 Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathe...

14,923円 For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addi...

10,943円 This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special signific...

12,103円 Bridging the gap between procedural mathematics that emphasizes calculations and conceptual mathematics that focuses on ideas, Mathematics: A Minimal Introduction presents an undergraduate-level introduction to pure mathematics and basic concepts of logic. The author builds logic and mathematics ...

12,269円 Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading ...