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 and reasoning / prepared by the course team.
BJL
BOOK
1997
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
QA 9.54 W2 / q : 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
QA 9.58 R6 : Dominant algorithms to evaluate artificial intelligence : from the view of throughput model / authored by Waymond Rodgers.; BJL
Dominant algorithms to evaluate artificial intelligence : from the view of throughput model / authore
BJL
BOOK
2022
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
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
QA 9.64 M9 : Fuzzy logic for beginners / Masao Mukaidono.; BJL
Fuzzy logic for beginners / Masao Mukaidono.
BJL
BOOK
c2001
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
QA 9.65 M5 / q : The foundations of mathematics : a new analysis showing Godel's theonem based on fallacy.; BJL
The foundations of mathematics : a new analysis showing Godel's theonem based on fallacy.
BJL
BOOK
1974
QA 9.65 S6 : Godel's incompleteness theorems.; BJL
Godel's incompleteness theorems.
BJL
BOOK
1992
QA 9.7 C4 : Model theory / C.C. Chang, H.J. Keisler.; BJL
Model theory / C.C. Chang, H.J. Keisler.
BJL
BOOK
1990
QA 9.7 M1 : The dyamic model : today's crystal ball : an inaugural lecture.; BJL
The dyamic model : today's crystal ball : an inaugural lecture.
BJL
BOOK
1974
QA 9.7 P9 : Model theory and modules.; BJL
Model theory and modules.
BJL
BOOK
1988
QA 9.8 H7
Godel, Escher, Bach : an eternal golden braid.
BJL
BOOK
1979
Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter.
BJL
BOOK
2000
QA 10.3 A7 : Logic and Boolean algebra.; BJL
Logic and Boolean algebra.
BJL
BOOK
1962
QA 10.3 B7 : A boolean algebra, abstract and concrete.; BJL
A boolean algebra, abstract and concrete.
BJL
BOOK
1965
QA 10.3 D9
The complexity of Boolean networks.
BJL
BOOK
1988
Introduction to Boolean algebras.
BJL
BOOK
1971
QA 10.3 F5 : Boolean algebra and its applications, including Boolean matrix algebra.; BJL
Boolean algebra and its applications, including Boolean matrix algebra.
BJL
BOOK
1964
QA 10.3 H1 : Lectures on Boolean algebras.; BJL
Lectures on Boolean algebras.
BJL
BOOK
1963
QA 10.3 H2
Boolean methods in operations research and related areas / by P.L. Hammer (Ivanescu) and S. Rudeanu.
BJL
BOOK
1968
Handbook of Boolean algebras / edited by J.D. Monk with the cooperation of R. Bonnet.
BJL
BOOK
1989
QA 10.3 H7 : Applied Boolean algebra : an elementary introduction.; BJL
Applied Boolean algebra : an elementary introduction.
BJL
BOOK
1960