Introduction to Mathematical Logic
Elliott Mendelson
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.
Κατηγορίες:
Έτος:
1987
Έκδοση:
3rd
Εκδότης:
Springer
Γλώσσα:
english
Σελίδες:
226
ISBN 10:
0534066240
ISBN 13:
9780534066246
Αρχείο:
PDF, 10.39 MB
IPFS:
,
english, 1987