#
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

## Context

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

- 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 in Model Theory : an Introduction to Contemporary Mathematical Logic
- A Course on Borel Sets
- A Course on Mathematical Logic
- A Course on Mathematical Logic
- A Guide to Classical and Modern Model Theory
- A Guide to Classical and Modern Model Theory
- A Logical Introduction to Proof
- A Mathematical Prelude to the Philosophy of Mathematics
- A Missing Link in Cybernetics : Logic and Continuity
- A Modern Perspective on Type Theory : From its Origins until Today
- A Set Theory Workbook
- A Short Introduction to Intuitionistic Logic
- 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 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 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 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 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 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
- Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Adapting proofs-as-programs : the Curry-Howard protocol
- Adaptive Resonance Theory Microchips : Circuit Design Techniques
- Adaptive Resonance Theory Microchips : Circuit Design Techniques
- Additive Number Theory : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
- Advanced Fuzzy Systems Design and Applications
- Advanced logic for applications
- Advanced Łukasiewicz calculus and MV-algebras
- Advances in Computational Intelligence and Learning : Methods and Applications
- 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
- Algorithmic Problems in Groups and Semigroups
- Algorithms and Complexity : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings
- Algorithms and Complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
- 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
- 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
- Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings
- Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
- Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
- Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
- Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
- Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
- Applications of Hyperstructure Theory
- Applications of Point Set Theory in Real Analysis
- Applied logic
- Applying Soft Computing in Defining Spatial Relations
- 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
- Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
- Asymptotic Attainability
- Automata Implementation : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
- Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
- Automata Implementation : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
- 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-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-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 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 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
- 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
- Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
- Cellular Automata: Research Towards Industry : ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998
- Challenges for Action Theories
- 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 and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
- Classical groups, derangements and primes
- Clavis universalis; : arti mnemoniche e logica combinatoria da Lullo a Leibniz
- Clifford Algebras and Their Application in Mathematical Physics : Aachen 1996
- Closure spaces and logic
- Coding the universe
- Coding the universe
- Cognitive reasoning : a formal approach
- Cognitive reasoning : a formal approach
- Collected Papers of Stig Kanger with Essays on his Life and Work
- 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, Computability and Logic : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
- 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 Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
- Computability and Models : Perspectives East and West
- Computability and Models : Perspectives East and West
- 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 Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
- Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
- Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
- Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
- Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings
- Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 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 : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
- Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, 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