Results 1 to 10 of 40 | next »
- An introduction to symbolic logic / by Langer, Susanne K.(Susanne Katherina Knauth),1895-1985.(CARDINAL)138414;
- Subjects: Logic, Symbolic and mathematical.;
- Math logic puzzles / by Smith, Kurt.(CARDINAL)395418;
- Subjects: Logic puzzles.; Puzzles and games.; Logic, Symbolic and mathematical.;
- Math and logic games / by Agostini, Franco.(CARDINAL)731054;
- Bibliography: pages 179-180.
- Subjects: Puzzles and games.; Logic, Symbolic and mathematical.;
- Number and logic games for preschoolers / by Kemp, Jane,1960-(CARDINAL)459077; Einon, Dorothy.(CARDINAL)743654; Walters, Clare,1952-(CARDINAL)421239;
- Subjects: Educational games.; Puzzles and games.; Logic, Symbolic and mathematical.;
- A beginner's further guide to mathematical logic / by Smullyan, Raymond M.,author.(CARDINAL)509513;
- Includes bibliographical references (pages 261-263) and index.More on propositional and first-order logic -- More on propositional logic -- More on first-order logic -- Recursion theory and metamathematics -- Some special topics -- Elementary formal systems and recursive enumerability -- Some recursion theory -- Doubling up -- Metamathematical applications -- Elements of combinatory logic -- Beginning combinatory logic -- Combinatorics galore -- Sages, oracles, and doublets -- Complete and partial systems -- Combinators, recursion, and the undecidable -- Where to go from here.
- Subjects: Logic, Symbolic and mathematical.;
- Euclid in the rainforest : discovering universal truth in logic and math. by Mazur, Joseph.(CARDINAL)380041;
- Subjects: Logic, Symbolic and mathematical.;
- A friendly introduction to mathematical logic / by Leary, Christopher C.,1957-(CARDINAL)659390;
- Includes bibliographical references and index.
- Subjects: Computer logic.; Logic, Symbolic and mathematical.;
- Once upon a number : the hidden mathematical logic of stories / by Paulos, John Allen.(CARDINAL)510936;
- Includes bibliographical references (pages 203-205) and index.Introduction -- Between stories and statistics -- Between subjective viewpoint and impersonal probability -- Between informal discourse and logic -- Between meaning and information -- Bridging the gap.
- Subjects: Mathematical statistics.; Logic, Symbolic and mathematical.;
- Logic and knowledge : essays, 1901-1950. / by Russell, Bertrand,1872-1970.(CARDINAL)141633; Marsh, Robert Charles,editor.;
- Includes bibliographical references and index.
- Subjects: Philosophy.; Logic, Symbolic and mathematical.;
- Euclid in the rainforest : discovering universal truth in logic and math / by Mazur, Joseph.(CARDINAL)380041;
- Includes bibliographical references (pages 307-315) and index.
- Subjects: Logic, Symbolic and mathematical.; Mathematics;
Results 1 to 10 of 40 | next »