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 |
| Έκδοση: |
London:
Chapman & Hall,
1997
|
| Έκδοση: | 4th ed. |
| Θέματα: |