Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: What is mathematical logic
Авторы: Ash C., Crossley J., Brickhill C.
Аннотация:
This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.