| Shelfclass |
Sortkey |
Title |
| 4.B.1 |
ACKERMANN, ROBERT JOHN |
An Introduction to Many-Valued Logics |
| 4.B.1 |
ACOCK, MALCOLM |
Informal Logic Examples and Exercises |
| 4.B.1 |
ANDERSON, ALAN ROSS |
Entailment: The Logic of Relevance and Necessity: Volume 1 |
| 4.B.1 |
ANDERSON, ALAN ROSS |
Entailment: The Logic of Relevance and Necessity: Volume 2 |
| 4.B.1 |
ANDREWS, PETER B |
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof |
| 4.B.1 |
ARCHITECTURE |
Logic and Architecture Synthesis: Proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990 |
| 4.B.1 |
BANERJEE, K. K |
Logic, Ontology and Action |
| 4.B.1 |
BARRINGER, HOWARD |
Advances in Temporal Logic |
| 4.B.1 |
BARWISE, JON |
Handbook of Mathematical Logic |
| 4.B.1 |
BAUDISCH, A |
Decidability and Generalized Quantifiers |
| 4.B.1 |
BEHLING, RICHARD W |
Exercises in Sentential Logic |
| 4.B.1 |
BEN-ARI, MORDECHAI |
Mathematical Logic for Computer Science |
| 4.B.1 |
BETH, E. W |
Semantic Construction of Intuitionistic Logic |
| 4.B.1 |
BHATT, SANDEEP N |
Parallel Algorithms: Third DIMACS Implementation Challenge, October 17-19, 1994 |
| 4.B.1 |
BITTINGER, MARVIN L |
Logic and Proof |
| 4.B.1 |
BOCHENSKI, INNOCENTIUS M |
A History of Formal Logic |
| 4.B.1 |
BOLC, LEONARD |
Many-Valued Logics 1: Theoretical Foundations |
| 4.B.1 |
BOLC, LEONARD |
Many-Valued Logics 2: Automated Reasoning and Practical Applications |
| 4.B.1 |
BOOLOS, GEORGE |
The Logic of Provability |
| 4.B.1 |
BOOLOS, GEORGE |
The Unprovability of Consistency: An Essay in Modal Logic |
| 4.B.1 |
BRADLEY, RAYMOND |
Possible Worlds: An Introduction to Logic and Its Philosophy |
| 4.B.1 |
BUNG, JOCHEN |
Subsumtion und Interpretation |
| 4.B.1 |
BUSS, SAMUEL R |
Handbook of Proof Theory |
| 4.B.1 |
CAHALAN, JOHN C |
Causal Realism: An Essay on Philosophical Method and the Foundations of Kknowledge |
| 4.B.1 |
CARPENTER, BOB |
The Logic of Typed Feature Structures: with Applications to Unification Grammars, Logic Programs and Constraint Resolution |
| 4.B.1 |
CHANG, CHEN CHUNG |
Continuous Model Theory |
| 4.B.1 |
CHELLAS, BRIAN F |
Modal Logic: An Introduction |
| 4.B.1 |
CHIHARA, CHARLES S |
The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic |
| 4.B.1 |
CHURCH, ALONZO |
Introduction to Mathematical Logic: Volume 1 |
| 4.B.1 |
COPI, IRVING M |
Informal Logic |
| 4.B.1 |
CURRY, HASKELL B |
Foundations of Mathematical Logic |
| 4.B.1 |
CZELAKOWSKI, JANUSZ |
Protoalgebraic Logics |
| 4.B.1 |
DALLA CHIARA, M |
Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics |
| 4.B.1 |
DAU, FRITHJOF |
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic |
| 4.B.1 |
DELONG, HOWARD |
A Profile of Mathematical Logic |
| 4.B.1 |
DIAZ, M. RICHARD |
Topics in the Logic of Relevance |
| 4.B.1 |
DUMMETT, MICHAEL A. E |
Elements of Intuitionism |
| 4.B.1 |
DUNN, J. MICHAEL |
Modern Uses of Multiple-Valued Logic: Invited Papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975, with a bibliography of many-valued logic by Robert G. Wolf |
| 4.B.1 |
EHRHARD, THOMAS |
Linear Logic in Computer Science |
| 4.B.1 |
ENDERTON, HERBERT B |
A Mathematical Introduction to Logic |
| 4.B.1 |
FITTING, MELVIN |
Beyond Two: Theory and Applications of Multiple-Valued Logic |
| 4.B.1 |
FITTING, MELVIN |
Proof Methods for Modal and Intuitionistic Logics |
| 4.B.1 |
FLACH, PETER |
Simply Logical: Intelligent Reasoning by Example |
| 4.B.1 |
FLETCHER, PETER |
Truth, Proof, and Infinity: A Theory of Constructions and Contructive Reasoning |
| 4.B.1 |
FLEW, ANTHONY |
Logic and Language: First and Second Series |
| 4.B.1 |
FOGELIN, ROBERT J |
Understanding Arguments: An Introduction to Informal Logic |
| 4.B.1 |
FREEMAN, JAMES B |
Acceptable Premises: An Epistemic Approach to an Informal Logic Problem |
| 4.B.1 |
FUHRMANN, ANDRÉ |
Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence |
| 4.B.1 |
GABBAY, DOV M |
Agenda Relevance: A Study in Formal Pragmatics |
| 4.B.1 |
GABBAY, DOV M |
Elementary Logics: A Procedural Perspective |
| 4.B.1 |
GABBAY, DOV M |
Fibring Logics |
| 4.B.1 |
GABBAY, DOV M |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations |
| 4.B.1 |
GABBAY, DOV M |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methods |
| 4.B.1 |
GABBAY, DOV M |
Handbook of Logic in Artificial Intelligence and Logic Programming: volume 3: nonmonotonic reasoning and uncertain reasoning |
| 4.B.1 |
GABBAY, DOV M |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning |
| 4.B.1 |
GABBAY, DOV M |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming |
| 4.B.1 |
GABBAY, DOV M |
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical |
| 4.B.1 |
GABBAY, DOV M |
Interpolation and Definability: Modal and Intuitionistic Logics |
| 4.B.1 |
GABBAY, DOV M |
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics |
| 4.B.1 |
GABBAY, DOV M |
Many-Dimensional Modal Logics: Theory and Applications |
| 4.B.1 |
GABBAY, DOV M |
Semantical Investigations in Heyting's Intuitionistic Logic |
| 4.B.1 |
GAMUT, L. T. F |
Logic, Language, and Meaning: Volume 1: Introduction to Logic |
| 4.B.1 |
GAMUT, L. T. F |
Logic, Language, and Meaning: Volume 2: Intentional Logic and Grammar |
| 4.B.1 |
GIRARD, JEAN-YVES |
Advances in Linear Logic |
| 4.B.1 |
GOLDSTERN, MARTIN |
The Incompleteness Phenomenon: A New Course in Mathematical Logic |
| 4.B.1 |
GRENNAN, WAYNE |
Informal Logic: Issues and Techniques |
| 4.B.1 |
GRIM, PATRICK |
The Incomplete Universe: Totality, Knowledge, and Truth |
| 4.B.1 |
GUMB, RAYMOND D |
Programming Logics: An Introduction to Verification and Semantics |
| 4.B.1 |
HAACK, SUSAN |
Deviant Logic: Some Philosophical Issues |
| 4.B.1 |
HAACK, SUSAN |
Philosophy of Logics |
| 4.B.1 |
HAMILTON, A. G |
Logic for Mathematicians |
| 4.B.1 |
HARPER, WILLIAM L |
Ifs: Conditionals, Belief, Decision, Chance, and Time |
| 4.B.1 |
HARRAH, DAVID |
Communication: A Logical Model |
| 4.B.1 |
HARRIS, ROBERT T |
Language and Informal Logic |
| 4.B.1 |
HERMES, HANS |
Term Logic with Choice Operator |
| 4.B.1 |
HINTIKKA, JAAKKO |
Knowledge and Belief: An Introduction to the Logic of the Two Notions |
| 4.B.1 |
HINTIKKA, JAAKKO |
Models for Modalities: Selected Essays |
| 4.B.1 |
HOCUTT, MAX |
The Elements of Logical Analysis and Inference |
| 4.B.1 |
HOFFMAN, BERTHOLD |
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family and System |
| 4.B.1 |
HOMER, STEVEN |
Logic and Computer Science: Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 |
| 4.B.1 |
HOWSON, COLIN |
Logic with Trees: An Introduction to Symbolic Logic |
| 4.B.1 |
HUGHES, G. E |
An Introduction to Modal Logic |
| 4.B.1 |
HUNTER, GEOFFREY |
Metalogic: An Introduction to the Metatheory of Standard First Order Logic |
| 4.B.1 |
HYDE, DOMINIC |
Sociative Logics and Their Applications: Essays by the Late Richard Sylvan |
| 4.B.1 |
JACQUETTE, DALE |
A Companion to Philosophical Logic |
| 4.B.1 |
JEVONS, W. STANLEY |
Elementary Lessons in Logic: Deductive and Inductive |
| 4.B.1 |
JOHNSON, D. L |
Elements of Logic via Numbers and Sets |
| 4.B.1 |
JOHNSON, ROBERT M |
A Logic Book: Fundamentals of Reasoning |
| 4.B.1 |
JOHNSON, W. E |
Logic: Part I |
| 4.B.1 |
JOHNSON, W. E |
Logic: Part II: Demonstrative Inference: Deductive and Inductive |
| 4.B.1 |
JOHNSON, W. E |
Logic: Part III: The Logical Foundations of Science |
| 4.B.1 |
KONOLIGE, KURT |
A Deduction Model of Belief |
| 4.B.1 |
KRANTZ, STEVEN G |
Handbook of Logic and Proof Techniques for Computer Science |
| 4.B.1 |
KRYNICKI, MICHAL |
Quantifiers: Logics, Models and Computation: Volume 1: Surveys |
| 4.B.1 |
KRYNICKI, MICHAL |
Quantifiers: Logics, Models and Computation: Volume 2: Contributions |
| 4.B.1 |
LAMBEK, JOACHIM |
Introduction to Higher Order Categorical Logic |
| 4.B.1 |
LC 1963 |
LC 1963: Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Coloquium. Oxford, July 1963 |
| 4.B.1 |
LC 1992 |
LC 1992: Logic Colloquium '92 |
| 4.B.1 |
LEWIS, DAVID K |
Counterfactuals |
| 4.B.1 |
LEWIS, HARRY R |
Unsolvable Classes of Quantificational Formulas |
| 4.B.1 |
LOGIC |
Logic Symposia, Hakone 1979, 1980: Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 |
| 4.B.1 |
MALINOWSKI, GRZEGORZ |
Many-Valued Logics |
| 4.B.1 |
MANZANO, MARIA |
Extensions of First Order Logic |
| 4.B.1 |
MATHEMATICAL |
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 |
| 4.B.1 |
MCDONOUGH, RICHARD M |
The Argument of the Tractatus: Its Relevance to Contemporary Theories of Logic, Language, Mind, and Philosophical Truth |
| 4.B.1 |
MCLAUGHLIN, ROBERT N |
On the Logic of Ordinary Conditionals |
| 4.B.1 |
MCNAMARA, PAUL |
Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science |
| 4.B.1 |
MENDELSON, ELLIOTT |
Introduction to Mathematical Logic |
| 4.B.1 |
MEYER, JOHN-JULES CH |
Epistemic Logic for AI and Computer Science |
| 4.B.1 |
MIDDELBURG, CORNELIS A |
Logic and Specification: Extending VDM-SL for Advanced Formal Specification |
| 4.B.1 |
MIETTINEN, SEPPO K. |
Logiikan Peruskurssi |
| 4.B.1 |
MILL, JOHN STUART |
A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation |
| 4.B.1 |
MINKER, JACK |
Logic-Based Artificial Intelligence |
| 4.B.1 |
MODAL |
Modal and Many-Valued Logics: Helsinki, 23-26 August, 1962: proceedings of a colloquium |
| 4.B.1 |
MÜLLER, GERT H |
[Omega]-Bibliography of Mathematical Logic: Volume II: Non-Classical Logics |
| 4.B.1 |
MÜLLER, GERT H |
[Omega]-Bibliography of Mathematical Logic: Volume VI: Proof Theory Constructive Mathematics: Vol. 6 |
| 4.B.1 |
MUNSON, RONALD |
The Way of Words: An Informal Logic |
| 4.B.1 |
NAGEL, ERNEST |
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress |
| 4.B.1 |
NOLT, JOHN ERIC |
Informal Logic: Possible Worlds and Imagination |
| 4.B.1 |
PAPPAS, GEORGE SOTIROS |
Essays on Knowledge and Justification |
| 4.B.1 |
PRIEST, GRAHAM |
Logic: A Very Short Introduction |
| 4.B.1 |
PRIEST, GRAHAM |
Towards Non-Being: The Logic and Metaphysics of Intentionality |
| 4.B.1 |
PRIOR, A |
Formal Logic |
| 4.B.1 |
PTÁK, PAVEL |
Orthomodular Structures as Quantum Logics |
| 4.B.1 |
QUIGLEY, FRANK D |
Manual of Axiomatic Set Theory |
| 4.B.1 |
RAMSAY, ALLAN |
Formal Methods in Artificial Intelligence |
| 4.B.1 |
READ, STEPHEN |
Thinking About Logic: An Introduction to the Philosophy of Logic |
| 4.B.1 |
REGHIS, MIRCEA |
Classical and Fuzzy Concepts in Mathematical Logic and Applications |
| 4.B.1 |
REICHENBACH, HANS |
Elements of Symbolic Logic |
| 4.B.1 |
RESCHER, NICHOLAS |
The Logic of Decision and Action |
| 4.B.1 |
RESTALL, GREG |
An Introduction to Substructural Logics |
| 4.B.1 |
RINE, DAVID C |
Computer Science and Multiple-Valued Logic: theory and applications |
| 4.B.1 |
ROBBIN, JOEL W |
Mathematical Logic: A First Course |
| 4.B.1 |
ROBINSON, ABRAHAM |
Complete Theories |
| 4.B.1 |
ROBINSON, A. T |
The Applications of Logic: A Text-Book for College Students |
| 4.B.1 |
ROBINSON, J. A |
Logic, Form and Function: The Mechanization of Deductive Reasoning |
| 4.B.1 |
ROSENBLOOM, PAUL C |
The Elements of Mathematical Logic |
| 4.B.1 |
ROSSER, J. BARKLEY |
Many-Valued Logics |
| 4.B.1 |
RUSHDOONY, ROUSAS JOHN |
The Word of Flux: Modern Man and the Problem of Knowledge |
| 4.B.1 |
SCARPELLINI, BRUNO |
Proof Theory and Intuitionistic Systems |
| 4.B.1 |
SCHECHTER, ERIC |
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions |
| 4.B.1 |
SENGUPTA, BANI |
Negation in Intuitionistic Logic and Navya Nyaya |
| 4.B.1 |
SHANKAR, N |
Metamathematics, Machines, and Gödel's Proof |
| 4.B.1 |
SMITH, PETER |
An Introduction to Formal Logic |
| 4.B.1 |
SMULLYAN, RAYMOND M |
First-Order Logic |
| 4.B.1 |
SOMMARUGA-ROSOLEMOS, GIOVANNI |
Fixed Point Constructions in Various Theories of Mathematical Logic |
| 4.B.1 |
SPENCER-SMITH, RICHARD |
Machinations: Computational Studies of Logic, Language, and Cognition |
| 4.B.1 |
STOLL, ROBERT R |
Sets, Logic, and Axiomatic Theories |
| 4.B.1 |
SUMMERS, GEORGE J |
New Puzzles in Logical Deduction |
| 4.B.1 |
SUPPES, PATRICK |
Axiomatic Set Theory |
| 4.B.1 |
SUPPES, PATRICK |
Introduction to Logic |
| 4.B.1 |
TARSKI, ALFRED |
Logic, Semantics, Metamathematics: Papers from 1923 to 1938 |
| 4.B.1 |
TROELSTRA, A. S |
Lectures on Linear Logic |
| 4.B.1 |
TURNER, RAYMOND |
Truth and Modality for Knowledge Representation |
| 4.B.1 |
VAN BENTHEM, JOHAN |
A Manual of Intensional Logic |
| 4.B.1 |
VAN DALEN, D |
Logic and Structure |
| 4.B.1 |
VAN DER TORRE, LEON |
Reasoning about Obligations: Defeasibility in Preference-based Deontic Logic |
| 4.B.1 |
VAN HEIJENOORT, JEAN |
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 |
| 4.B.1 |
VAN ORMAN QUINE, WILLARD |
Mathematical Logic |
| 4.B.1 |
VICKERS, STEVEN |
Topology via Logic |
| 4.B.1 |
WALTON, DOUGLAS N |
Informal Logic: A Handbook for Critical Argumentation |
| 4.B.1 |
WANSING, HEINRICH |
The Logic of Information Structures |
| 4.B.1 |
WITTGENSTEIN, LUDWIG |
Tractatus Logico-Philosophicus |
| 4.B.1 |
WOJCICKI, RYSZARD |
Theory of Logical Calculi: Basic Theory of Consequence Operations |