LCI Library System / All Locations

Catalog

You are not logged in |Login

Limit search to available items

Subjects (1-20 of 20)

Logic Symbolic And Mathematical

-- See Also Algebra, Abstract

-- See Also the narrower term Categories (Mathematics)

-- See Also the narrower term Computer logic

-- See Also the narrower term Computer programs Correctness

-- See Also the narrower term Fuzzy logic

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

-- See Also the narrower term Independence (Mathematics)

-- 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.

-- See Also Metamathematics

-- See Also the narrower term Nonclassical mathematical logic

-- See Also the narrower term Pragmatics

-- See Also the narrower term Proof theory

-- See Also the narrower term Propositional calculus

-- See Also the narrower term Recursion theory

-- See Also the narrower term Recursive functions

-- See Also the narrower term Science Methodology

-- See Also the narrower term Semantics (Philosophy)

-- See Also Set theory

-- See Also the narrower term Switching theory

-- See Also Syllogism

Add Marked to Bag

Add All On Page