Sets, Logic and Categories [Anglais] [Broché]

arithmetic  axioms  between  bijection  cardinal  case  category  chapter  choice  class  countable  define  defined  definition  element  equivalence  example  exercise  exists  fact  finite  first  following  follows  form  formal  formula  formulae  function  functor  give  given  group  holds  however  identity  induction  infinite  isomorphic  language  least  let  logic  map  mathematics  may  members  model  morphisms  natural  note  now  number  objects  operations  order  ordered  ordinal  pair  product  proof  property  propositional  prove  proved  real  relation  result  ring  rule  say  second  section  see  sentences  sequence  set  show  since  statement  structure  subset  suppose  symbols  system  take  terms  theorem  theory  true  two  union  unique  use  valuation  value  variables  x2  xi  xo