Naperville Public Library
Library Hours
Monday to Friday: 9 a.m. to 9 p.m.
Saturday: 9 a.m. to 5 p.m.
Sunday: 1 p.m. to 9 p.m.
Naper Blvd. 1 p.m. to 5 p.m.
Home Best Sellers Research a Topic Download & Stream Material Request My Account
Return to Browse
 More Resources
     
Limit search to available items
Add All On Page to My List
Subjects (1-14 of 14)
Logic, Symbolic and mathematical
1

-- See Also Algebra, Abstract


2

-- See Also the narrower term Categories (Mathematics)


3

-- See Also the narrower term Computer programs Correctness


4

-- See Also the narrower term Fuzzy logic


5

-- See Also the narrower term Gödel's theorem


6

-- See Also the narrower term Machine theory


Here are entered works on the abstract mathematical models of devices which operate within a consistent logical system in accordance with a given algorithm; such mathematical theory can be used as a basis for design but is not concerned with hardware.
7

-- See Also Metamathematics


8

-- See Also the narrower term Proof theory


9

-- See Also the narrower term Recursion theory


10

-- See Also the narrower term Science Methodology


11

-- See Also the narrower term Semantics (Philosophy)


12

-- See Also Set theory


13

-- See Also the narrower term Switching theory


14

-- See Also Syllogism


Add All On Page to My List
locate in results
More Information
Find another book like this Logic design. http://id.loc.gov/authorities/subjects/sh85078117 at Novelist
Return to Browse
 
 
© Naperville Public Library 2019.