ENGLISH

Logic for Mathematicians

By J. Barkley Rosser

Book information

Publisher
McGraw-Hill
Year
1953
LCC
51-12640
Language
english
Format
DJVU
Filesize
4 MB (4702014 bytes)
Series
International Series in Pure and Applied Mathematics
Pages
544\544
Topic
Mathematics Logic
Library
Envoy
DPI
400
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-08-24 12:29:47
Математика;Математическая логика

Description

Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement calculus, descriptions, and equality. Succeeding chapters explore abstract set theory—with examinations of class membership as well as relations and functions—cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use.

Similar books