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 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
QA9.3 .S3656 2011 : Theory and application of satisfiability testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / [edited by] Karem A. Sakallah, Laurent Simon.; Online materials     
      Theory and application of satisfiability testing - SAT 2011 : 14th International Conference, SAT 2011 Online materials  EBOOKS 2011
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
QA9.5 .I58 2011 : Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / Luke Ong (ed.).; Online materials     
      Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, J Online materials  EBOOKS 2011
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
QA9.56 .B735 2011 : Apartness and uniformity [electronic resource] : a constructive development / Douglas S. Bridges, Luminiţa Simona Vîţă.; Online materials     
      Apartness and uniformity [electronic resource] : a constructive development / Douglas S. Bridges, Lum Online materials  EBOOKS c2011
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
QA9.58    
      IA3 2013 : proceedings of the 3rd Workshop on Irregular Applications Architectures and Algorithms : D Online materials  EBOOKS 2013
      ICACS 2017 : proceedings of 2017 International Conference on Algorithms, Computing and Systems : Augu Online materials  EBOOKS 2017
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 .C456 2017eb : The maximum consensus problem [electronic resource] : recent algorithmic advances / Tat-Jun Chin and David Suter.; Online materials     
      The maximum consensus problem [electronic resource] : recent algorithmic advances / Tat-Jun Chin and Online materials  EBOOKS 2017
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.58 .W36 2010eb : Approximation and online algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers / Klaus Jansen, Roberto Solis-Oba (eds.).; Online materials     
      Approximation and online algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September Online materials  EBOOKS 2011
QA9.59 : SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shanghai, China / Stephen M. Watt, Jan Verschelde, Lihong Zhi, (editors) ; in-cooperation ACM SIGSAM.; Online materials     
      SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shan Online materials  EBOOKS 2014
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
QA9.59 .C67 2011 : Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings / Benedikt Löwe [and others] (eds.).; Online materials     
      Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgar Online materials  EBOOKS 2011
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
QA9.59 .S53 2007 : SNC'07 [electronic resource] : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007 / edited by Jan Verschelde &Stephen M. Watt.; Online materials     
      SNC'07 [electronic resource] : proceedings of the 2007 International Workshop on Symbolic-Numeric Com Online materials  EBOOKS c2007
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
Save marked records Save all on page
Result Page   Prev Next