Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: A Mathematical Introduction to Logic
Автор: Enderton H.B.
In his textbook for an advanced undergraduate introductory mathematics course in logic ranging from a quarter to a year, Enderton (U. of California-Los Angeles) discusses proofs, truth, and computability for students with some mathematical background and interests but have not studied logic before. He intends the second edition to be more accessible to typical undergraduate students, more flexible for instructors, and more focused on the influence of theoretical computer science on logic. He mentions no date for the first edition.