Search for: Title Author Subject Series that begins with: 10 20 30 50 100 per page < Previous 10 Headings Next 10 Headings > Browse Headings # Logic, Modern 3 SEE ALSO narrower term: First-order logic 1 Logic, Modern -- 17th century 1 Logic of mathematics -- SEE: Mathematics -- Philosophy 59 Logic problems. 1 Logic -- Problems, exercises, etc. 3 Logic problems -- Juvenile literature. 1 Logic puzzles 23 Logic puzzles -- Juvenile literature. 12 Logic, Symbolic and mathematical 43 SEE ALSO: Algebra, Abstract 2 SEE ALSO narrower term: Categories (Mathematics) 3 SEE ALSO narrower term: Constructive mathematics 1 SEE ALSO narrower term: First-order logic 1 SEE ALSO narrower term: Gödel's theorem 5 SEE ALSO narrower term: Logic machines 1 SEE ALSO narrower term: Machine theory 5 SEE ALSO: Metamathematics 2 SEE ALSO narrower term: Model theory 2 SEE ALSO narrower term: Pragmatics 6 SEE ALSO narrower term: Proof theory 4 SEE ALSO narrower term: Recursion theory 1 SEE ALSO narrower term: Science -- Methodology 100 SEE ALSO narrower term: Semantics (Philosophy) 25 SEE ALSO: Set theory. 20 SEE ALSO narrower term: Type theory 2 Logic, Symbolic and mathematical -- Congresses. 1 10 20 30 50 100 per page < Previous 10 Headings Next 10 Headings >