-
Recent Posts
- Origin and Chemical Evolution of the Earth (Science for Everyone) – Voitkevich
- Puppets Without Strings (Science for Everyone) – Varshavsky, Pospelov
- The Magic of Galaxies and Stars – Gurevich, Chernin
- Modern Geology (Science for Everyone) – Yasamanov
- Mystery Of Mineralogy (Science For Everyone) – Srebrodolsky
Archives
- Aerodynamics astronomy books chemistry children's stories computers engineering foreign languages publishing geology history life sciences little mathematics library mathematics metals meteorology mir books mir publishers philosophy physics problem books progress publishers psychology raduga publishers science science for everyone soviet statistics technology Uncategorized used books
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: set theory
Equality, Resemblance and Order – Schreider
In this post, we will see the book Equality, Resemblance, and Order by Ju. A. Schreider. About the book This book tells how one may formally describe properties of the well-known relations mentioned in the title. This example is used to … Continue reading
Posted in books, mathematics, mir books, mir publishers
Tagged algebra, binary, distributions, equations, equivalence, functions, geometric objects, high school mathematics, homomorphism, identity, mathematical linguistics, mathematics, mir books, models, operations, order, relations, resemblance, set theory, syntactical structures, tree orders
Leave a comment
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
9 Comments
