-
Recent Posts
- বিজয়ী (Winner in Bengali) by শারফ রাশিদভ (Sharof Rashidov)
- শিয়াল এবং খরগোশ (Fox and the Hare in Bengali)
- বসন্ত (Youth Stories in Bengali) by সের্গেই আন্তোনভ (Sergei Antonov)
- Telescope Kee Bole ( All About The Telescope In Bengali) by (প্যাভেল ক্লুশানসেভ) Pavel Klushantsev
- Prithibir Itihas Prachin Jug ( Ancient History In Bengali) by ফয়োডর কোরোভকিন (Fyodor Korovkin)
-
Join 2,211 other subscribers
Archives
- Aerodynamics astronomy books chemistry children's books children's stories Editorial Mir electronics engineering folk tales foreign languages publishing french geology history life sciences little mathematics library malysh publishers mathematics mir books mir publishers physics popular science problem books progress publishers raduga publishers science science for everyone soviet technology Éditions Mir
Meta
Trackers on the site…
There are trackers on the site apart from Wordpress Stats. If you don't know what trackers are, or wish not to be tracked go here http://donttrack.us to get tools which allow you to do so.Blogroll
Tag Archives: undecidability
Mathematical Logic – Ershov, Palyutin
In this post we will see Mathematical Logic by Yu. L. Ershov, E. A. Palyutin. This book presents in a systematic way a number of topics in modern mathematical logic and the theory of algorithms. It can be used as … Continue reading
Posted in books, mathematics, mir books, mir publishers, soviet
Tagged algebraic systems, algorithms, axiomatic systems, boolean algebra, calculus of predicates, compactness theorem, gentzen system, godels theorem, herbrand theorem, hilbertian calculus, logic, mathematics, mir, mir books, mir publishers, normal forms, proof theory, propositional calculus, recursive functions, set theory, skolem functions, soviet, undecidability
10 Comments
Mir Books 