Introduction to mathematical logic.
This is a compact introduction to some of the principal topics of mathematical logic. In the belief that beginners should be exposed to the easiest and most natural proofs, I have used free-swinging set theoretic methods. The significance of a demand for constructive proofs can be evaluated only aft...
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Monterey:
Wadsworth & Brooks/Cole Advanced Books & Software,
1987
|
| Έκδοση: | 3rd ed. |
| Σειρά: | The Wadsworth & Brooks/Cole mathematics series
|
| Θέματα: |