Search results for ‘John L. Bell (University of Western Ontario)’

Filter & Refine

      Cover image for Higher-Order Logic and Type Theory
      Paperback
      Add to list Added to list

      Higher-Order Logic and Type Theory

      John L. Bell (University of Western Ontario)

      An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept…

      $32.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for A Primer of Infinitesimal Analysis
      Hardback
      Add to list Added to list

      A Primer of Infinitesimal Analysis

      John L. Bell (University of Western Ontario)

      In this new edition basic calculus, together with some of its applications to simple physical problems, are presented through the use of a straightforward, rigorous, axiomatically formulated concept of ‘zero-square’…

      $255.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Intuitionistic Set Theory
      Paperback
      Add to list Added to list

      Intuitionistic Set Theory

      John L Bell (Professor of Philosophy University of Western Ontario)

      While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject…

      $29.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Set Theory: Boolean-Valued Models and Independence Proofs
      Paperback
      Add to list Added to list

      Set Theory: Boolean-Valued Models and Independence Proofs

      John L. Bell (Professor of Philosophy, University of Western Ontario)

      This third edition, now available in paperback, is a follow up to the author’s classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of…

      $101.99

      Available to order, ships in approx 2 weeksAvailable to order