** Mathematical Logic

** Set Theory & Further Logic

** Logic

** Brouwer, " Life, Art, and Mysticism ," Notre Dame Journal of Formal Logic, vol.

** How Markets Fail: The Logic of Economic Calamities by John Cassidy

** Logic

** Logic Quest 3D

** Aristotle's Logic -- by Robin Smith.

** Logic

** Anellis, I. H., 1990 – 91, " Schröder Materials at the Russell Archives ," Modern Logic 1: 237 – 247.

** Peckhaus, V., 1999, " 19th Century Logic between Philosophy and Mathematics ," Bulletin of Symbolic Logic 5: 433 – 450.

** Regius Professor of Logic

** Mathematical Logic

** TT GLU " Generalized Logic Unit " — Control logic for the system used to connect the STs chips.

** Logic of Empire ( 1941 ).

** Inquiry as Inquiry: A Logic of Scientific Discovery ISBN 0-7923-5477-X

** Language, Truth and Logic in Mathematics ISBN 0-7923-4766-8

** The Logic of Epistemology and the Epistemology of Logic ISBN 0-7923-0040-8

** Knowledge and Belief-An Introduction to the Logic of the Two Notions ISBN 1-904987-08-7

** Information Flow: The Logic of Distributed Systems an influential handbook ( ISBN 0-521-58386-1 ) by Jon Barwise and Jerry Seligman for the analysis of theories using its framework based on a melange of topics from information, model, and discourse theory which is applied to give a formalization of the logic of Quantum Mechanics.

** Logic algorithm for computer software

** A1 " My Name Is Not Susan " ( Logic Remix Extended )

** Atlas Autocode, a programming language developed for the Atlas Computer

In programming languages such as Ada, Fortran, Perl, Python and Ruby, a double asterisk is used, so is written as " x ** 2 ".

** ip ( struct ), a structure in the C programming language to store IP packet headers

** for his profound contributions to three major areas of operations research and management science: inventory theory, dynamic programming and lattice programming.

** limits. h, the header of a general purpose standard library of the C programming language

** Polymorphism in object-oriented programming, the ability of an interface to be realized in multiple ways

** Procedural programming languages such as Pascal.

** Esoteric programming languages, a form of mathematical recreation in which programmers work out how to achieve basic programming constructs in an extremely difficult but mathematically Turing-equivalent language.

** The Perl programming language is created by Larry Wall.

** Subjects ( programming ), core elements in the subject-oriented programming paradigm

* In the Ada, Fortran, Perl, Python, Ruby programming languages, in some dialects of the Pascal programming language, and many others, a double asterisk is used to signify exponentiation: 5 ** 3 is 5 * 5 * 5 or 125.

** MSG Network, a sports programming network that serves the New York City metropolitan area

** Generic Image Library, a generic programming library for image processing by Adobe Systems

** Aggregation, a form of object composition in object-oriented programming

** Nickelodeon operates three digital channels separate from the main feed: Nick Jr., a channel devoted to preschool programming ; TeenNick, aimed at teenagers with mostly live-action programs ( which includes a two hour 1990s block in late night ); and Nicktoons, which primarily ( although not exclusively ) runs animated programming.

** Cartoon Network has only one digital channel, Boomerang, which focuses on Time Warner's archival animated programming and some other classic cartoons.

** Disney Channel has two digital channels: Disney Junior, which launched in 2012 and features preschool programming, and Disney XD, which caters primarily to boys.

** Up to 32 simultaneous colors available ( one 16-color palette for sprites or background, an additional 16-color palette for background only ) from a palette of 64 ( can also show 64 simultaneous colors using programming tricks )

** FPr ( also under Lisp and object-oriented programming )