Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
QA 9 M8 : Elementary induction on abstractstructures.; BJL     
      Elementary induction on abstractstructures. BJL  BOOK 1974
QA 9 P2 : The uncertain reasoner's companion : a mathematical perspective.; BJL     
      The uncertain reasoner's companion : a mathematical perspective. BJL  BOOK 1994
QA9 .P45 : Philosophia mathematica [electronic resource].; Online materials     
      Philosophia mathematica [electronic resource]. Online materials  EJOURNALS 1964-
QA 9 P7, : Mathematical logic.; BJL     
      Mathematical logic. BJL  BOOK 1973
QA 9 R3 : Logic and computer science / S. Reeves, M. Clarke.; BJL     
      Logic and computer science / S. Reeves, M. Clarke. BJL  BOOK 1990
QA 9 R9    
      The principles of mathematics / by Bertrand Russell. BJL  BOOK 1937
      The principles of mathematics / Bertrand Russell ; with a new introduction by John G. Slater. BJL  BOOK 1992
QA 9 S5 : Mathematical logic.; BJL     
      Mathematical logic. BJL  BOOK 1967
QA 9 S7 : Laws of form.; BJL     
      Laws of form. BJL  BOOK 1994
QA 9 S8 : Matrix logic.; BJL     
      Matrix logic. BJL  BOOK 1988
QA 9 W2 : Popular lectures on mathematical logic / Wang Hao.; BJL     
      Popular lectures on mathematical logic / Wang Hao. BJL  BOOK 1981
QA 9.2 F2 : In the light of logic.; BJL     
      In the light of logic. BJL  BOOK 1998
QA 9.25 E5 : Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Crawley.; BJL     
      Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E BJL  BOOK c2006
QA 9.3 S4 : Classical propositional operators : an exercise in the foundations of logic.; BJL     
      Classical propositional operators : an exercise in the foundations of logic. BJL  BOOK 1982
QA 9.35 R6 : Logic : form and function : the mechanization of dedictive reasoning.; BJL     
      Logic : form and function : the mechanization of dedictive reasoning. BJL  BOOK 1979
QA 9.37 K1, : Languages with expressions of infinite length.; BJL     
      Languages with expressions of infinite length. BJL  BOOK 1964
QA 9.4 P9 : An introduction to non-classical logic.; BJL     
      An introduction to non-classical logic. BJL  BOOK 2001
QA 9.47 D8, : Elements of intuitionism.; BJL     
      Elements of intuitionism. BJL  BOOK 1977
QA 9.47 F5, : Intuitionistic logic, model theory and forching.; BJL     
      Intuitionistic logic, model theory and forching. BJL  BOOK 1969
QA 9.47 H6 : Intuitionism : an introduction.; BJL     
      Intuitionism : an introduction. BJL  BOOK 1971
QA 9.47 T8, : Choice sequences : a chapter of intuitionistic mathematics.; BJL     
      Choice sequences : a chapter of intuitionistic mathematics. BJL  BOOK 1977
QA 9.5 B2 : The lambda calculus : its syntax and semantics.; BJL     
      The lambda calculus : its syntax and semantics. BJL  BOOK 1984
QA 9.5 H6 : Introduction to combinatory logic / by J.R. Hindley, B. Lercher and J.P. Seldin.; BJL     
      Introduction to combinatory logic / by J.R. Hindley, B. Lercher and J.P. Seldin. BJL  BOOK 1972
QA 9.5 S8 / q : Introduction to combinatory logic / by Sören Stenlund.; BJL     
      Introduction to combinatory logic / by Sören Stenlund. BJL  BOOK 1971
QA9.54 : Q.E.D : beauty in mathematical proof / written and illustrated by Burkard Polster.; BJL     
      Q.E.D : beauty in mathematical proof / written and illustrated by Burkard Polster. BJL  BOOK 2004
QA 9.54 A4 : Numbers and proofs.; BJL     
      Numbers and proofs. BJL  BOOK 1997
QA 9.54 A6    
      Are you sure? : learning about proof : a book of ideas for teachers of upper secondary school student BJL  BOOK 2005
      Are you sure? : learning about proof : a book of ideas for teachers of upper secondary school student BJL  BOOK 1999
QA 9.54 B5 : There's something about Gödel : the complete guide to the incompleteness theorem / Francesco Berto.; BJL     
      There's something about Gödel : the complete guide to the incompleteness theorem / Francesco Berto. BJL  BOOK 2009
QA 9.54 E1 : An introduction to mathematical reasoning : lectures on numbers, sets, and functions / Peter J. Eccles.; BJL     
      An introduction to mathematical reasoning : lectures on numbers, sets, and functions / Peter J. Eccle BJL  BOOK 1997
QA 9.54 F5 : Proof methods for modal and intuitionistic logics.; BJL     
      Proof methods for modal and intuitionistic logics. BJL  BOOK 1983
QA 9.54 F8 : Introduction to proofs in mathematics / James Franklin, Albert Daoud.; BJL     
      Introduction to proofs in mathematics / James Franklin, Albert Daoud. BJL  BOOK 1988
QA 9.54 P7 : Proof.; BJL     
      Proof. BJL  BOOK 1984
QA 9.54 P9 : Proof in mathematics ('if', 'then' and 'perhaps') : a collection of material illustrtating the nature and variety of the idea of proof in mathematics / P.R. Baxandall ... [et al.].; BJL     
      Proof in mathematics ('if', 'then' and 'perhaps') : a collection of material illustrtating the nature BJL  BOOK 1978
QA 9.54 S6 : How to read and do proofs : an introduction to mathematical thought processes.; BJL     
      How to read and do proofs : an introduction to mathematical thought processes. BJL  BOOK 1990
QA 9.54 T1, : Proof theory.; BJL     
      Proof theory. BJL  BOOK 1975
QA9.54 .W37 2000 : Can you prove it? : developing concepts of proof in primary and secondary schools / Sue Waring.; BJL     
      Can you prove it? : developing concepts of proof in primary and secondary schools / Sue Waring. BJL  BOOK c2008
QA 9.56 B8 : Varieties of constructive mathematics.; BJL     
      Varieties of constructive mathematics. BJL  BOOK
QA 9.56 I6 : Constructivity in mathematics / edited by A. Heyting.; BJL     
      Constructivity in mathematics / edited by A. Heyting. BJL  BOOK 1959
QA 9.58 B8 : Fundamentals of algorithmics / Gilles Brassard and Paul Bratley.; BJL     
      Fundamentals of algorithmics / Gilles Brassard and Paul Bratley. BJL  BOOK 1996
QA9.58 JACTJ : Journal of algorithms & computational technology [electronic resource].; Online materials     
      Journal of algorithms & computational technology [electronic resource]. Online materials  EJOURNALS 2007
QA9.58 .R63 2020 : Artificial intelligence in a throughput model : some major algorithms / Waymond Rodgers, Chair Professor, University of Texas, El Paso, Texas, USA.; Online materials     
      Artificial intelligence in a throughput model : some major algorithms / Waymond Rodgers, Chair Profes Online materials  EBOOKS 2020
QA 9.58 S6 : Design and analysis of algorithms.; BJL     
      Design and analysis of algorithms. BJL  BOOK 1989
QA9.59 .B66 2007 : Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.; BJL     
      Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. BJL  BOOK 2007
QA 9.59 C9 : Computability : an introduction to recursive function theory.; BJL     
      Computability : an introduction to recursive function theory. BJL  BOOK 1980
QA 9.59 E6 : Computability : computable functions, logic, and the foundations of mathematics / R.L. Epstein, W.A. Carnielli.; BJL     
      Computability : computable functions, logic, and the foundations of mathematics / R.L. Epstein, W.A. BJL  BOOK 1989
QA 9.59 F5 : Computability theory, semantics, and logic programming.; BJL     
      Computability theory, semantics, and logic programming. BJL  BOOK 1987
QA 9.6 O6 / q : Recursion.; BJL     
      Recursion. BJL  BOOK 1988
QA9.64 : Fuzzy logic for beginners / Masao Mukaidono.; BJL     
      Fuzzy logic for beginners / Masao Mukaidono. BJL  BOOK c2001
QA 9.64 C8 : Fuzzy modeling and genetic algorithms for data mining and exploration.; BJL     
      Fuzzy modeling and genetic algorithms for data mining and exploration. BJL  BOOK c2005
QA9.65 .C43 2007 : Thinking About Godel And Turing : essays on complexity, 1970-2007 / Gregory J. Chaitin ; with a foreward by Paul Davies.; BJL     
      Thinking About Godel And Turing : essays on complexity, 1970-2007 / Gregory J. Chaitin ; with a forew BJL  BOOK c2007
QA 9.65 G5 : Godel's theorem in focus / edited by S.G. Shanker.; BJL     
      Godel's theorem in focus / edited by S.G. Shanker. BJL  BOOK 1988
Save marked records Save all on page
Result Page   Prev Next