Introduction to mathematical logic
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:3486/TOC |
|---|---|
| Glavni autor: | Mendelson, Elliott (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
New York :
Chapman&Hall,
1997.
|
| Izdanje: | 4th ed |
| Predmet: |
Sadržaj:
- The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them
- fggfff