Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only

Add Marked to Bag Add All On Page
Subjects (1-22 of 22)
Logic Symbolic And Mathematical
1 -- See Also Algebra, Abstract
2 -- See Also the narrower term Axiomatic set theory
3 -- See Also the narrower term Categories (Mathematics)
4 -- See Also the narrower term Combinatory logic
5 -- See Also the narrower term Computer programs Correctness
6 -- See Also the narrower term Constructive mathematics
7 -- See Also the narrower term Fuzzy logic
8 -- See Also the narrower term Godel's theorem
9 -- See Also the narrower term Logic machines
10 -- 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.
11 -- See Also the narrower term Matrix logic
12 -- See Also Metamathematics
13 -- See Also the narrower term Model theory
14 -- See Also the narrower term Pragmatics
15 -- See Also the narrower term Proof theory
16 -- See Also the narrower term Recursion theory
17 -- See Also the narrower term Recursive functions
18 -- See Also the narrower term Science Methodology
19 -- See Also the narrower term Semantics (Philosophy)
20 -- See Also Set theory
21 -- See Also the narrower term Switching theory
22 -- See Also the narrower term Threshold logic
Add Marked to Bag Add All On Page Locate in results