#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Logic, Symbolic and mathematical
Resource Information

The concept

**Logic, Symbolic and mathematical**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Logic, Symbolic and mathematical

#### A sample of Items that share the Concept Logic, Symbolic and mathematical See All

## Context

Context of Logic, Symbolic and mathematical#### Subject of

No resources found

No enriched resources found

- 104 Number Theory Problems : From the Training of the USA IMO Team
- 18 Unconventional Essays on the Nature of Mathematics
- A Beginner's Guide to Discrete Mathematics
- A Beginner's Guide to Finite Mathematics : For Business, Management, and the Social Sciences
- A Beginner's Guide to Graph Theory
- A Boole anthology : recent and classical studies in the logic of George Boole
- A Concise Introduction to Mathematical Logic
- A Concise Introduction to Mathematical Logic
- A Course in Mathematical Logic for Mathematicians
- A Course in Model Theory : an Introduction to Contemporary Mathematical Logic
- A Course on Mathematical Logic
- A Course on Mathematical Logic
- A Guide to Classical and Modern Model Theory
- A Logical Introduction to Proof
- A Missing Link in Cybernetics : Logic and Continuity
- A Modern Perspective on Type Theory : From its Origins until Today
- A Short Introduction to Intuitionistic Logic
- A beginner's guide to discrete mathematics
- A computational logic handbook
- A concise introduction to mathematical logic
- A concise introduction to mathematical logic
- A concise introduction to pure mathematics
- A course in mathematical logic
- A course in mathematical logic
- A course in mathematical logic
- A course in mathematical logic for mathematicians
- A course on mathematical logic
- A course on mathematical logic
- A decision method for elementary algebra and geometry,
- A first course in mathematical logic and set theory
- A first course in mathematical logic and set theory
- A formalization of set theory without variables
- A formalization of set theory without variables
- A framework for priority arguments
- A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
- A logical analysis of the theory of relativity
- A machine program for theorem-proving
- A mathematical introduction to logic
- A mathematical introduction to logic
- A modern formal logic primer
- A new approach to functional decomposition
- A new approach to the logical theory of interrogatives
- A new perspective on nonmonotonic logics
- A new proof of theorems of perron and frobenius on non-negative matrices, II
- A precis of mathematical logic;
- A primer of formal logic,
- A resolution principle for a logic with restricted quantifiers
- A science of operations : machines, logic and the invention of programming
- A structuralist theory of logic
- A study of logics
- A summary of symbolic logic and its practical applications
- A survey of mathematical logic
- A survey of symbolic logic,
- A survey of the theory of the boundedness, stability, and asymptotic behavior of solutions of linear and non-linear differential and differences equations
- A theory of formal deducibility
- A theory of heuristic information in game-tree search
- A theory of sets,
- A tour through mathematical logic
- A transition to mathematics with proofs
- Abductive Reasoning and Learning
- Abhandlung über die Prinzipien der Logik : mit einer Rekonstruktion der Aristotelischen Syllogistik
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Adapting proofs-as-programs : the Curry-Howard protocol
- Adaptive Resonance Theory Microchips : Circuit Design Techniques
- Additive Number Theory : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
- Advanced logic for applications
- Advanced Łukasiewicz calculus and MV-algebras
- Advances in experimental philosophy of logic and mathematics
- After Gödel : Platonism and rationalism in mathematics and logic
- Agent-Based Defeasible Control in Dynamic Environments
- Alan Turing : his work and impact
- Alan Turing's systems of logic : the Princeton thesis
- Alfred Tarski : Early Work in Poland—Geometry and Teaching
- Alfred Tarski and the Vienna Circle : Austro-Polish Connections in Logical Empiricism
- Algebra, mathematical logic, number theory, topology : collection of survey papers 1 on the 50th anniversary of the institute
- Algebraic Foundations of Many-Valued Reasoning
- Algebraic Model Theory
- Algebraic circuits
- Algebraic logic
- Algebraic logic via arenas
- Algebraic methods in logic and in computer science
- Algebraic methods of mathematical logic.
- Algebraic systems
- Algorithms in Invariant Theory
- An Essay in Universal Semantics
- An Introduction to Kolmogorov Complexity and Its Applications
- An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- An Invitation to Abstract Mathematics
- An algebraic introduction to mathematical logic
- An examination of logical positivism
- An examination of logical positivism,
- An introduction to Gödel's Theorems
- An introduction to Hilbert space and quantum logic
- An introduction to Wittgenstein's Tractatus
- An introduction to mathematical logic
- An introduction to mathematical thought
- An introduction to modern mathematics;
- An introduction to symbolic logic
- An introduction to transformational grammars
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities.
- An outline of mathematical logic : fundamental results and notions explained with all details
- Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989 Proceedings
- Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- Analysis and logic
- Analysis and logic
- Analysis and synthesis of logics : how to cut and paste reasoning systems
- Analytical syllogistics; : a pragmatic interpretation of the Aristotelian logic,
- Analytische Erkenntnistheorie; : kritische Ubersicht uber die neueste Entwicklung in USA und England
- Apartness and Uniformity : A Constructive Development
- Appalachian set theory : 2006-2012
- Applications of Hyperstructure Theory
- Applications of Point Set Theory in Real Analysis
- Applied logic
- Architecture of Systems Problem Solving
- Around and Beyond the Square of Opposition
- Around and beyond the square of opposition
- Artificial Intelligence in Logic Design
- Aspects of Mathematical Logic : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
- Asymptotic Attainability
- Automata logics, and infinite games : a guide to current research
- Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
- Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques
- Automated Deduction - A Basis for Applications : Volume III Applications
- Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings
- Automated Deduction -- CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings
- Automated Deduction in Equational Logic and Cubic Curves
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
- Automated Theorem Proving : Theory and Practice
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in multiple-valued logics
- Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings
- Automation in language translation and theorem proving. : Some applications of mathematical logic.
- Automation of reasoning
- Autonomy Platonism and the indispensability argument
- Axiom of Choice
- Axiomatic Method and Category Theory
- Banach Spaces and Descriptive Set Theory: Selected Topics
- Basic Real Analysis
- Basic Real Analysis
- Basic laws of arithmetic, derived using concept-script : volumes I & II
- Begriffsschrift und andere Aufsatze
- Beitrage zur Philosophie der Logik und Mathematik.
- Belief Change
- Belief Revision in Non-Classical Logics
- Between Logic and Intuition : Essays in Honor of Charles Parsons
- Between logic and intuition : essays in honor of Charles Parsons
- Beyond first order model theory
- Boolean Functions and Computation Models
- Brouwer meets Husserl : On the Phenomenology of Choice Sequences
- Building proofs : a practical guide
- CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings
- Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
- Canonical expressions in Boolean algebra,
- Cardinal Invariants on Boolean Algebras : Second Revised Edition
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Change, choice and inference : a study of belief revision and nonmonotonic reasoning
- Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20--22, 2016, Revised Selected Papers
- Circles disturbed : the interplay of mathematics and narrative
- Classical groups, derangements and primes
- Clavis universalis; : arti mnemoniche e logica combinatoria da Lullo a Leibniz
- Closure spaces and logic
- Coding the universe
- Coding the universe
- Cognitive reasoning : a formal approach
- Cognitive reasoning : a formal approach
- Collected works
- Collected works
- Collected works
- Combinatorial Set Theory : With a Gentle Introduction to Forcing
- Combinatorial algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
- Combinatorics, computation, & logic 99 : proceedings of DMTCS'99 and CATS'99, Auckland, New Zealand, 18 -21 January 1999
- Communication: : a logical model
- Completeness Theory for Propositional Logics
- Complexity and Real Computation
- Computability : computable functions, logic, and the foundations of mathematics
- Computability and Models : Perspectives East and West
- Computability and logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computable Analysis : an Introduction
- Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II
- Computational Complexity of Solving Equation Systems
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Computational aspects of an order-sorted logic with term declarations
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings
- Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 2225, 2002 Proceedings
- Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
- Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
- Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
- Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
- Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
- Concepts of proof in mathematics, philosophy, and computer science
- Conditional and preferential logics : proof methods and theorem proving
- Conditionals and Modularity in General Logics
- Connectionist Approaches in Economics and Management Sciences
- Constructibility and Mathematical Existence :
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
- Constructive Negations and Paraconsistency
- Constructive order types.
- Continuous geometry,
- Continuous model theory,
- Contributions to mathematical logic. : Proceedings of the Logic Colloquim, Hannover, 1966.
- Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
- Course of mathematical logic.
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Cut Elimination in Categories
- Cylindric-like Algebras and Algebraic Logic
- Dag Prawitz on proofs and meaning
- Data Mining and Knowledge Discovery via Logic-Based Methods : Theory, Algorithms, and Applications
- David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933
- David Makinson on Classical Methods for Non-Classical Problems
- De los numeros
- Decision Criteria and Optimal Inventory Processes
- Decision procedures : an algorithmic point of view
- Decision procedures : an algorithmic point of view
- Deducibility and decidability
- Deducibility and decidability
- Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
- Deductive Software Verification -- The KeY Book : From Theory to Practice
- Definability and infinitely deep languages
- Degrees of unsolvability.
- Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
- Dependence logic : theory and applications
- Descriptive Complexity
- Designing asynchronous circuits using NULL convention logic (NCL)
- Development of mathematical logic,
- Diamond : a paradox logic
- Dictionary of symbols of mathematical logic.
- Die vier Wissenschaften der Pythagoreer / : Bartel Leendert van der Waerden. Hundert Jahre formale Logik
- Direct and converse theorems; : the elements of symbolic logic.
- Discovering patterns in mathematics and poetry
- Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
- Discrete mathematics and its applications
- Displaying Modal Logic
- Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
- Dominated Operators
- Dual Tableaux: Foundations, Methodology, Case Studies
- Dude, Can You Count? Stories, Challenges and Adventures in Mathematics
- Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
- Dynamic formal epistemology
- Dynamics and Management of Reasoning Processes
- Educational algebra : a theoretical and empirical approach
- Effective logic computation
- Eine Termlogik mit Auswahloperator
- Einfuhrung in die mathematisch Logik
- Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik
- Einfuhrung in die symbolische Logik, mit besonderer Berucksichtigung ihrer Anwendungen
- Einführung in die operative Logik und Mathemati
- Elementary concepts of modern mathematics
- Elementary logic
- Elementary logic
- Elementary process theory : axiomatic introduction and applications
- Elementary process theory : mathematical-logical principles of individual processes in a non-local, non-deterministic, non probabilistic, heterogenoeous universe
- Elements de logique mathematique, : theorie des modeles,
- Elements for a Theory of Decision in Uncertainty
- Elements of Finite Model Theory
- Elements of Logic via Numbers and Sets
- Elements of logic and formal science
- Elements of logic and foundations of mathematics in problems
- Elements of mathematical logic
- Elements of mathematical logic and set theory,
- Elements of mathematical logic.
- Elements of mathematical logic. : (Model theory)
- Elements of set theory
- Elements of symbolic logic
- Elements of the theory of computation
- Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language
- Elucidating the ‘Tractatus’ : Wittgenstein's Early Philosophy of Logic and Language
- Entailment : the logic of relevance and necessity
- Epistemic Logic for AI and Computer Science
- Epistemic logic for AI and computer science
- Epistemic logic for AI and computer science
- Epistemological remarks on the foundations of logic and mathematics
- Epistemology versus Ontology : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
- Equational logic as a programming language
- Ernst Zermelo : An Approach to His Life and Work
- Ernst Zermelo : An Approach to His Life and Work
- Essai sur les conditions et les limites de la certitude logique
- Essais sur les logiques non chrysippiennes
- Essays in Constructive Mathematics
- Essays in memory of Imre Lakatos
- Essays in the philosophy and history of logic and mathematics
- Essays on Frege,
- Essays on Frege,
- Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
- Essays on Wittgenstein's Tractatus.
- Essays on the foundations of mathematics
- Essentials of symbolic logic
- Excursions in the History of Mathematics
- Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
- Explaining beauty in mathematics : an aesthetic theory of mathematics
- Extremal Combinatorics : With Applications in Computer Science
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fading Foundations : Probability and the Regress Problem
- Field Arithmetic
- Finite Fields : Normal Bases and Completely Free Elements
- Finite automata, formal logic, and circuit complexity
- Finite automata, formal logic, and circuit complexity
- Finitely Supported Mathematics : An Introduction
- First-Order Modal Logic
- First-order dynamic logic
- First-order logic
- First-order logic and automated theorem proving
- Fork algebras in algebra, logic and computer science
- Formal Aspects of Context
- Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
- Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
- Formal concept analysis : foundations and applications
- Formal concept analysis : mathematical foundations
- Formal concept analysis : mathematical foundations
- Formal logic.
- Formal logic; : or, The Calculus of inference, necessary and probable.
- Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Formal methods; : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
- Formal systems and recursive functions. : Proceedings.
- Formal verification of mathematical software
- Formale Logik
- Foundational Theories of Classical and Constructive Mathematics
- Foundational studies : selected works
- Foundations : essays in philosophy, logic, mathematics, and economics
- Foundations of Algebraic Specification and Formal Software Development
- Foundations of Bayesianism
- Foundations of Image Understanding
- Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography
- Foundations of algebraic specification and formal software development
- Foundations of intentional logic
- Foundations of logic and mathematics
- Foundations of logic and mathematics : applications to computer science and cryptography
- Foundations of logic programming
- Foundations of mathematical logic
- Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Godel.
- Foundations of the logical theory of scientific knowledge (complex logic).
- Foundations without Foundationalism : A Case for Second-Order Logic
- Foundations without foundationalism : a case for second-order logic
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Frege : making sense
- Frege and Godel; : two fundamental texts in mathematical logic
- Frege and Other Philosophers :
- Frege and other philosophers
- Frege and other philosophers
- Frege's lectures on logic : Carnap's student notes, 1910-1914
- Frege's logic
- Frege's theorem
- From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
- From Frege to Godel; : a source book in mathematical logic, 1879-1931
- From Linear Operators to Computational Biology : Essays in Memory of Jacob T. Schwartz
- From Objects to Diagrams for Ranges of Functors
- From a Geometrical Point of View : A Study of the History and Philosophy of Category Theory
- From an ivory tower, : a discussion of philosophical problems originating in modern mathematics
- From mathematics to philosophy
- Function Algebras on Finite Sets : Basic Course on Many-Valued Logic and Clone Theory
- Functional interpretations
- Functions and generality of logic : reflections on Dedekind's and Frege's logicisms
- Fundamentals of Fuzzy Sets
- Fundamentals of mathematics
- Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers
- Fundamentals of symbolic logic
- Funktion, Begriff, Bedeutung; : funf logische Studien.
- Fuzziness in information systems : how to deal with crisp and fuzzy data in selection, classification, and summarization
- Fuzzy Algorithms for Control
- Fuzzy If-Then Rules in Computational Intelligence : Theory and Applications
- Fuzzy Logic : Mathematical Tools for Approximate Reasoning
- Fuzzy Logic and Soft Computing
- Fuzzy Logic for Planning and Decision Making
- Fuzzy Logic in Management
- Fuzzy Modeling with Spatial Information for Geographic Problems
- Fuzzy Relational Systems : Foundations and Principles
- Fuzzy Sets in Approximate Reasoning and Information Systems
- Fuzzy Sets in Decision Analysis, Operations Research and Statistics
- Fuzzy Sets, Logics and Reasoning about Knowledge
- Fuzzy Systems : Modeling and Control
- Fuzzy logic in data modeling : : semantics, constraints, and database design
- Fuzzy logic theory and applications : Part I and Part II
- Games, Norms and Reasons : Logic at the Crossroads
- Games, actions and social software : multidisciplinary aspects
- Generalized Concavity in Fuzzy Optimization and Decision Analysis
- Generalized Measure Theory
- Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI97Workshop Aix-en-Provence, France, August 1122, 1997 Revised Lectures
- Genetic Algorithms and Fuzzy Multiobjective Optimization
- Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
- Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
- Geometry of knowledge for intelligent systems
- George Boole's collected logical works
- Giuseppe Peano between Mathematics and Logic : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008
- Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008
- Gnomes in the Fog : The Reception of Brouwer's Intuitionism in the 1920s
- Grammatical inference : learning automata and grammars
- Granular Computing : an Introduction
- Grundlagen der Mathematik
- Grundlagen der Mathematik,
- Grundlagen der Mathematik,
- Grundzuge der theoretischen Logik
- Grundzüge der mathematischen Logik
- Grundzüge der theoretischen Logik,