Opening book details…
Can I read Вычислимость и логика on EtoBox?
Вычислимость и логика by R. Dzheffri Dzh. Bulos is a nonfiction available to read on EtoBox.
What is Вычислимость и логика about?
This book is intended for the student in philosophy or pure or applied mathematics who has mastered the material ordinarily covered in a first course in logic and who wishes to advance his or her acquaintance with the subject. The aim of the book is to present the principal fundamental theoretical results about logic, and to cover certain other metalogical results whose proofs are not easily obtainable elsewhere. We have tried to make the exposition as readable as was compatible with the presentation of complete proofs, to use the most elegant proofs we knew of, to employ standard notation, and to reduce hair (as it is technically known).
Who reads Вычислимость и логика?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- R. Dzheffri Dzh. Bulos
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 1994
- Language
- RU
- ISBN
- 9780521380263
- Category
- nonfiction
- Subjects
- Mathematics, Philosophy, Humanities
- Updated
- 2026-03-24
Other editions & translations
- Computability and Logic (1995)
- Computability and Logic (2002)
- Computability And Logic Second Edition (1980)
- Computability and Logic (1980)
- Computability and Logic Boolos (2005)
- Computability and Logic (1994)
- Soil Engineering : Testing, Design, and Remediation (1999)
- Computability and Logic (Instructor's Solution Manual) (Solutions) (2007)
- Mathematical Linguistics (Advanced Information and Knowledge Processing) (2008)
- Computability and Logic 2ed (1980)
More by R. Dzheffri Dzh. Bulos
Browse all works by R. Dzheffri Dzh. Bulos
Similar books
- Вычислимость и логика — Булос Дж., Джеффри Р. (1994)
- Определимость и вычислимость — Ершов, Юрий Леонидович (1996)
- Логика и аргументация — Рузавин, Георгий Иванович (1997)
- Педагогика и логика — Щедровицкий Г. П., Розин В. М., Непомнящая Н. И., Алексеев Н. Г. (1993)
- Теория рекурсивных функций и эффективная вычислимость — Роджерс Х. (авт.); Душский В.А., Канович М.И., Ногина Е.Ю. (перевод с англ.); Успенский В.А. (ред.) (1972)
- Интеллект и логика — Ладенко, Иосаф Семенович (1985)