Wiley Publishers Since 1807   Shopping Cart  Shopping Cart  My Account  Help  Contact Us  
Home Technology Solutions Who's My Rep About Wiley
 
Product Search
Home > Mathematics and Statistics > Mathematics > Logic
Logic of Mathematics: A Modern Course of Classical Logic
Logic of Mathematics: A Modern Course of Classical Logic
Zofia Adamowicz, Institute of Mathematics of the Polish Academy of Sciences
Pawel Zbierski, Warsaw Univ.
ISBN: 978-0-471-06026-0
©1997
272 pages
INSTRUCTORS
STUDENTS
TITLE INFORMATION
Description  |  Author Info  |  Table of Contents  |  Hallmark Features
Table of Contents
Partial table of contents:

MATHEMATICAL STRUCTURES AND THEIR THEORIES.

Relational Systems.

Boolean Algebras.

Terms and Formulas.

Substitution of Terms.

Theorems and Proofs.

Generalization Rule and Elimination of Constants.

Peano Arithmetic.

Ultraproducts.

Supplementary Questions.

SELECTED TOPICS.

Total Functions.

Incompleteness of Arithmetic.

Tarski's Theorem.

Matiyasevich's Theorem.

Guide to Further Reading.

References.

Index.  

Printer-ready version of this page E-mail a friend about this product

Copyright © 2000-2008 by John Wiley & Sons, Inc. or related companies. All rights reserved. Please read our Privacy Policy