|
|
|
|
BC 135 S2 : Proceedings of the second Scandinavian logic symposium : edited by J.E. Fenstad.; BJL
|
|
|
|
Proceedings of the second Scandinavian logic symposium : edited by J.E. Fenstad.
BJL
|
BOOK
|
1971
|
|
|
BC 135 S3
|
|
|
|
Logics without existence assumptions.
BJL
|
BOOK
|
1968
|
|
New foundations for concept theory.
BJL
|
BOOK
|
1969
|
|
|
BC 135 S5 : The development of symbolic logic : a critical-historical study of the logical calculus.; BJL
|
|
|
|
The development of symbolic logic : a critical-historical study of the logical calculus.
BJL
|
BOOK
|
1900
|
|
|
BC 135 S8
|
|
|
|
Combinators, Lambda-terms and prrof theory.
BJL
|
BOOK
|
1972
|
|
Mathematical logic, with special reference to the natural numbers.
BJL
|
BOOK
|
1972
|
|
|
BC 135 S9
|
|
|
|
History of mathematical logic from Leibniz to Peano.
BJL
|
BOOK
|
1969
|
|
Introduction to logic.
BJL
|
BOOK
|
1957
|
|
Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der ersten Style.
BJL
|
BOOK
|
1959
|
|
Some problems in logical model theory.
BJL
|
BOOK
|
1960
|
|
|
BC 135 T1 : Logic, semantics, metamathematics : papers from 1923 to 1938.; BJL
|
|
|
|
Logic, semantics, metamathematics : papers from 1923 to 1938.
BJL
|
BOOK
|
1956
|
|
|
BC 135 T6 : Logical studies.; BJL
|
|
|
|
Logical studies.
BJL
|
BOOK
|
1955
|
|
|
BC 135 V2
|
|
|
|
Frege and Godel : two fundamental texts in mathematical logic.
BJL
|
BOOK
|
1970
|
|
From Frege to Godel : a source books in mathematical logic, 1879-1931.
BJL
|
BOOK
|
1967
|
|
|
BC 135 V4 : How to prove it : a structured approach.; BJL
|
|
|
|
How to prove it : a structured approach.
BJL
|
BOOK
|
1994
|
|
|
BC 135 W2
|
|
|
|
From mathematics to philosophy.
BJL
|
BOOK
|
1974
|
|
Reflections on Kurt Gòˆdel / Hao Wang.
BJL
|
BOOK
|
1987
|
|
|
BC 135 W5
|
|
|
|
Principia mathematica to 56 / edited by A.N. Whitehead and B. Russell.
BJL
|
BOOK
|
1962
|
|
What is mathematical logic? / edited by J.N. Crossley and others.
BJL
|
BOOK
|
1972
|
|
|
BC 135 W8
|
|
|
|
The logic of fiction : a philosophical sounding of deviant logic.
BJL
|
BOOK
|
1974
|
|
Mathematical interpretation of formal systems.
BJL
|
BOOK
|
1955
|
|
The technique of theory construction.
BJL
|
BOOK
|
1939
|
|
|
BC 135 Z7
|
|
|
|
Non-standard logic and its applications (several lectures in Oxford).
BJL
|
BOOK
|
1983
|
|
Philosophical problems of many-valued logic.
BJL
|
BOOK
|
1963
|
|
|
BC 141 A9 : Probability and evidence.; BJL
|
|
|
|
Probability and evidence.
BJL
|
BOOK
|
1972
|
|
|
BC 141 B4 : Probability, objectivity and evidence.; BJL
|
|
|
|
Probability, objectivity and evidence.
BJL
|
BOOK
|
1984
|
|
|
BC 141 B7 : Studies in logic and probability.; BJL
|
|
|
|
Studies in logic and probability.
BJL
|
BOOK
|
1952
|
|
|
BC 141 B9 : Probability and opinion : A study in the medieval presuppositions of post-medieval theories of probability / by Edmund F. Byrne.; BJL
|
|
|
|
Probability and opinion : A study in the medieval presuppositions of post-medieval theories of probab
BJL
|
BOOK
|
1968
|
|
|
BC 141 C2
|
|
|
|
Logical foundations of probability.
BJL
|
BOOK
|
|
|
Logical foundations of probability.
BJL
|
BOOK
|
1962
|
|
|
BC 141 C6 : The probable and the provable.; BJL
|
|
|
|
The probable and the provable.
BJL
|
BOOK
|
1977
|
|
|
BC 141 D2 : Inductive probability.; BJL
|
|
|
|
Inductive probability.
BJL
|
BOOK
|
1961
|
|
|
BC 141 D3 : An essay on probabilities, and on their application to life contingencies and insurance offices.; BJL
|
|
|
|
An essay on probabilities, and on their application to life contingencies and insurance offices.
BJL
|
BOOK
|
1838
|
|
|
BC 141 G5 : An objective theory of probability.; BJL
|
|
|
|
An objective theory of probability.
BJL
|
BOOK
|
1973
|
|
|
BC 141 H1
|
|
|
|
The emergence of probability.
BJL
|
BOOK
|
1975
|
|
An introduction to probability and inductive logic.
BJL
|
BOOK
|
2001
|
|
Logic of statistical inference.
BJL, Departmental Locations
|
BOOK
|
1965
|
|
|
BC 141 H8 : Probability and evidence.; BJL
|
|
|
|
Probability and evidence.
BJL
|
BOOK
|
1982
|
|
|
BC 141 I6 : Proceedings of a colloquium on modal and many-valued logics, Helsinki, 23-26 August.; BJL
|
|
|
|
Proceedings of a colloquium on modal and many-valued logics, Helsinki, 23-26 August.
BJL
|
BOOK
|
1962
|
|
|
BC 141 J4 : The logic of decision.; BJL
|
|
|
|
The logic of decision.
BJL
|
BOOK
|
1965
|
|
|
BC 141 K6 : Probability and induction.; BJL
|
|
|
|
Probability and induction.
BJL
|
BOOK
|
1949
|
|
|
BC 141 K9
|
|
|
|
Probability and inductive logic.
BJL
|
BOOK
|
1970
|
|
Probability and the logic of rational belief.
BJL
|
BOOK
|
1961
|
|
Studies in inductive probability and rational expectation.
BJL
|
BOOK
|
1978
|
|
|
BC 141 L3 : A philosophical essay on probabilities.; BJL
|
|
|
|
A philosophical essay on probabilities.
BJL
|
BOOK
|
1951
|
|
|
BC 141 M5 : The matter of chance.; BJL
|
|
|
|
The matter of chance.
BJL
|
BOOK
|
1971
|
|
|
BC 141 M6 : The Popper-Carnap controversy.; BJL
|
|
|
|
The Popper-Carnap controversy.
BJL
|
BOOK
|
1971
|
|
|
BC 141 N1 : Principles of the theory of probability.; BJL
|
|
|
|
Principles of the theory of probability.
BJL
|
BOOK
|
1939
|
|
|
BC 141 R3 : Wahrscheinlichkeitslehre. English; BJL
|
|
|
|
The theory of probability : an inquiry into the logical and mathematical foundations of the calculus
BJL
|
BOOK
|
1949
|
|
|
BC 141 S1 : The foundations at scientific inference.; BJL
|
|
|
|
The foundations at scientific inference.
BJL
|
BOOK
|
1967
|
|
|
BC 141 S3 : Confirmation and confirmability.; BJL
|
|
|
|
Confirmation and confirmability.
BJL
|
BOOK
|
1974
|
|
|
BC 141 S7 : Probability and scientific inference.; BJL
|
|
|
|
Probability and scientific inference.
BJL
|
BOOK
|
1957
|
|
|
BC 141 S9 : An introduction to confirmation theory / Richard Swinburne.; BJL
|
|
|
|
An introduction to confirmation theory / Richard Swinburne.
BJL
|
BOOK
|
1973
|
|
|
BC 141 V4 : The logic of chance.; BJL
|
|
|
|
The logic of chance.
BJL
|
BOOK
|
|
|
|
BC 141 V6 : Belief and probability.; BJL
|
|
|
|
Belief and probability.
BJL
|
BOOK
|
1976
|
|
|
BC 141 W3 : Philosophical foundations of probability theory.; BJL
|
|
|
|
Philosophical foundations of probability theory.
BJL
|
BOOK
|
1982
|
|
|
BC 141 W9 : A treatise on induction and probability.; BJL
|
|
|
|
A treatise on induction and probability.
BJL
|
BOOK
|
1951
|
|
|
BC 143 L4 : The logic of the plausible and some of its applications.; BJL
|
|
|
|
The logic of the plausible and some of its applications.
BJL
|
BOOK
|
1974
|
|
|
BC 145 H6 : Deontic logic : introductory and systematic readings / edited by Risto Hilpinen.; BJL
|
|
|
|
Deontic logic : introductory and systematic readings / edited by Risto Hilpinen.
BJL
|
BOOK
|
1971
|
|
|
BC 145 N5 : New studies in deontic logic : norms, actions, and the foundations of ethics.; BJL
|
|
|
|
New studies in deontic logic : norms, actions, and the foundations of ethics.
BJL
|
BOOK
|
1981
|
|
|
BC 145 W9
|
|
|
|
An essay in deontic logic and the genreal theory of action : wqith a bibliography of deontic and impe
BJL
|
BOOK
|
1968
|
|
Practical reason.
BJL
|
BOOK
|
1983
|
|
|
BC 151 L7 : Position and change : a study in law and logic.; BJL
|
|
|
|
Position and change : a study in law and logic.
BJL
|
BOOK
|
1977
|
|
|
BC 170 B7 : An investigation of the laws of thought.; BJL
|
|
|
|
An investigation of the laws of thought.
BJL
|
BOOK
|
|
|
|
BC 170 J7 : A new law of thought and its logical bearings.; BJL
|
|
|
|
A new law of thought and its logical bearings.
BJL
|
BOOK
|
|
|
|
BC 170 K8
|
|
|
|
Conceptual thinking : a logical inquiry.
BJL
|
BOOK
|
1955
|
|
Conceptual thinking : a logical inquiry.
BJL
|
BOOK
|
1959
|
|
|
BC 170 R3 : Nomological statements and admissible operations.; BJL
|
|
|
|
Nomological statements and admissible operations.
BJL
|
BOOK
|
1954
|
|
