Find a copy in the library
Finding libraries that hold this item...
Details
Document Type: | Book |
---|---|
All Authors / Contributors: |
Christopher C Leary |
ISBN: | 0130107050 9780130107053 |
OCLC Number: | 42667909 |
Description: | xiv, 218 pages ; 23 cm |
Contents: | 1. Structures and languages -- 2. Deductions -- 3. Completeness and compactness -- 4. Incompleteness : groundwork -- 5. The incompleteness theorems. |
Responsibility: | Christopher C. Leary. |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "A friendly introduction to mathematical logic".
Be the first.