In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevert
244 85 3MB
English Pages 414 [425] Year 2014
Report DMCA / Copyright
DOWNLOAD FILE
The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023&
209 111 5MB Read more
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of thei
300 61 2MB Read more
Disproportionate attention has long been paid to males in human and other social systems. The basic structures used to e
204 16 1MB Read more
This book collects engaging problems created for students competing in the Computational Linguistics Olympiad. It offers
435 106 5MB Read more
198 130 447KB Read more
Human beings are hierarchical animals. Always and everywhere, people have developed social ranking systems. These differ
203 25 939KB Read more
187 25 10MB Read more
226 86 61MB Read more
247 56 1MB Read more
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, near
238 52 16MB Read more