Introduction to Mathematical Logic

Mendelson Elliott

Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing.
  • Limba : Engleza
  • Data Publicarii : 13 Aug 2009
  • Editie : 5 Rev ed
  • Format : Hardback
  • Numar pagini : 494
  • ISBN : 9781584888765
Rating:
265.99 Lei
Livrare in 2-4 saptamani

Acest titlu este disponibil in stocul furnizorilor okian.ro si poate fi livrat in 2-4 saptamani.