ENGLISH

Introduction to Mathematical Logic

Book information

Publisher
Springer
Year
1987
ISBN
9780534066246, 0534066240
LCC
QA9 .M4 1987
Open Library ID
OL2717873M
Language
english
Format
PDF
Filesize
10 MB (10895215 bytes)
Edition
3rd
Pages
226\226
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11

Description

This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.

Similar books