QA 9 H6
Grundzüge der theoretischen logik.
BJL
BOOK
1946
Principles of mathematical logic.
BJL
BOOK
1950
QA 9 K1 : Mathematics and logic : retrospect and prospects / Mark Kac, Stanislaw M. Ulam.; Education Resources
Mathematics and logic : retrospect and prospects / Mark Kac, Stanislaw M. Ulam.
Education Resources
BOOK
1979
QA 9 K2 : The infinite in mathematics : logico-mathematical writings / edited by B.McGuinness.; BJL
The infinite in mathematics : logico-mathematical writings / edited by B.McGuinness.
BJL
BOOK
1978
QA 9 K6, : Mathematical logic.; BJL
Mathematical logic.
BJL
BOOK
1967
QA 9 L7 : Mathematical logic : an introduction to model theory / edited by H.B. Enderton.; BJL
Mathematical logic : an introduction to model theory / edited by H.B. Enderton.
BJL
BOOK
1978
QA 9 L8 / q : Logic games and activities for children / Terry Lowe ...[et al.].; Education Resources
Logic games and activities for children / Terry Lowe ...[et al.].
Education Resources
BOOK
1983
QA 9 M2 : A course in mathematical logic.; BJL
A course in mathematical logic.
BJL
BOOK
1977
QA 9 M3, : First order mathematical logic.; BJL
First order mathematical logic.
BJL
BOOK
1967
QA 9 M5
Introduction to mathematical logic.
BJL
BOOK
1964
Introduction to mathematical logic.
BJL
BOOK
1979
QA 9 M7 : Mathematical logic.; BJL
Mathematical logic.
BJL
BOOK
1976
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
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 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