Logic, sets, and recursion [First Edition] 086720463X, 9780867204636, 9780585288192

Logic, Sets, and Functions 0787263559

This book is intended as an introduction to symbolic logic and elementary set theory, including mathematical induction.

221 15 7MB Read more

Sets, logic and maths for computing [1st Edition.] 1846288444, 9781846288449, 1846288452, 9781846288456

University studies in computing require the ability to pass from a concrete problem to an abstract representation, reaso

235 75 2MB Read more

First-order logic 0486683702

122 69 9MB Read more

Walther recursion

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

First Order Mathematical Logic 0486662691

391 67 2MB Read more

Sets, functions, and logic: introduction to abstract mathematics [3 ed.] 9780203498736, 0-203-49873-9

319 30 789KB Read more

Sets, logic and maths for computing [3 ed.] 9783030422172, 9783030422189

253 102 2MB Read more

A formal background to mathematics V.1 Logic, sets and numbers 9780387904313, 9781461299844, 038707726X, 1976561566, 0387903429

317 52 5MB Read more

Sets, Logic and Maths for Computing [3° ed.] 3030422178, 9783030422172

This easy-to-follow book introduces the mathematical language, knowledge and problem-solving skills needed for the study

282 29 6MB Read more

Mathematical Logic: Revised Edition

209 33 57MB Read more