344 102 3MB
English Pages 440 Year 1994
Report DMCA / Copyright
DOWNLOAD DJVU FILE
This book is intended as an introduction to symbolic logic and elementary set theory, including mathematical induction.
221 15 7MB Read more
Lectures given at a Summer Institute for Teachers of Secondary and College Mathematics, sponsored by the National Scienc
100 1 31MB Read more
University studies in computing require the ability to pass from a concrete problem to an abstract representation, reaso
235 75 2MB Read more
Part of the Lecture Notes in Computer Science book series (LNAI,volume 1104) Abstract Primitive recursion is a well kno
116 88 191KB Read more
122 69 9MB Read more
393 67 2MB Read more
319 30 789KB Read more
This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It
111 21 8MB Read more
106 37 10MB Read more
This easy-to-follow book introduces the mathematical language, knowledge and problem-solving skills needed for the study
282 29 6MB Read more