189 66 7MB
English Pages 424 Year 2014
Report DMCA / Copyright
DOWNLOAD EPUB FILE
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in
157 6 5MB Read more
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of thei
158 81 3MB Read more
437 61 2MB Read more
The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023&
157 97 5MB Read more
Golumbia, who worked as a software designer for more than ten years, argues that computers are cultural “all the way dow
138 59 904KB Read more
Disproportionate attention has long been paid to males in human and other social systems. The basic structures used to e
176 67 1MB Read more
This book collects engaging problems created for students competing in the Computational Linguistics Olympiad. It offers
225 13 5MB Read more
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) s
210 16 9MB Read more
118 66 447KB Read more
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, near
168 15 16MB Read more