ricerca
avanzata

Fundamentals of Mathematical Logic - 9781568812625

Un libro in lingua di Hinman Peter G. edito da A K Peters Ltd, 2005

  • € 138.10
  • Il prezzo è variabile in funzione del cambio della valuta d’origine

Building on the foundation set by Schoenfield, Hinman (mathematics, U. of Michigan) covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's incompleteness theorems, leading to introductions to set theory, model theory and recursion (computability) theory. Written for graduate students at the introductory level, this text also covers first-order logic completeness and compactness, and definability. Hinman includes a wealth of examples and exercises, along with a very handy item index and a symbol index ordered by chapter, which should be made a requirement in introductory texts. Annotation ©2006 Book News, Inc., Portland, OR (booknews.com)

Informazioni bibliografiche