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 Missouri 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 Missouri Libraries.
- Label
- Logic, Symbolic and mathematical
100+ Items that share the Concept Logic, Symbolic and mathematical
Context
Context of Logic, Symbolic and mathematicalSubject of
- ... Logic of algebra
- A Connotational Theory of Program Structure
- A complete set of postulates for the logic of classes expressed in terms of the operation "exception," and a proof of the independence of a set of postulates due to Del Ré
- A concise introduction to 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 deduction model of belief
- A first course in mathematical logic and set theory
- A first course in modern logic
- A mathematical introduction to logic
- A precis of mathematical logic
- A primer of formal logic
- A profile of mathematical logic
- A programming logic : with an introduction to the PL/CV verifier
- A resolution principle for a logic with restricted quantifiers
- A resolution principle for a logic with restricted quantifiers
- A set of five postulates for Boolean algebras in terms of the operation "exception"
- A structuralist theory of logic
- A summary of symbolic logic and its practical applications
- A survey of mathematical logic
- A survey of symbolic logic
- A system of logistic
- A theory of formal deducibility
- A theory of sets
- A tour through mathematical logic
- A tour through mathematical logic
- Abriss der Logistik : mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen
- Abstract sets and finite ordinals : an introduction to the study of set theory
- Advanced logic for applications
- Alfred Tarski : life and logic
- Algebra, combinatorics and logic in computer science
- Algebra, mathematical logic, number theory, topology : collection of survey papers : on the 50th anniversary of the institute
- Algebraic methods of mathematical logic
- Algebraic systems
- Algorithmic logic
- An Introduction to Non-Classical Logic : From If to Is
- An algebraic introduction to mathematical logic
- An analysis of Wittgenstein's notion of simple objects in his picture theory
- An essay in modal logic
- An examination of logical positivism
- An introduction to Wittgenstein's Tractatus
- An introduction to fuzzy logic applications
- An introduction to mathematical logic and type theory : to truth through proof
- An introduction to mathematical machine theory
- An introduction to modern mathematics
- An introduction to practical formal methods using temporal logic
- An introduction to symbolic logic
- 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 decision making in uncertain systems
- Analysis and logic
- Analytical syllogistics ; : a pragmatic interpretation of the Aristotelian logic
- Applied symbolic logic
- Argument and inference : an introduction to symbolic logic
- Around and beyond the square of opposition
- Autologic
- Automated deduction : a basis for applications
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in multiple-valued logics
- Automated theorem proving
- Axiomatic theory of sets and classes
- Basic laws of arithmetic, derived using concept-script : volumes I & II
- Begriffsschrift und andere Aufsätze
- Begriffsschrift und andere Aufsätze
- Bertrand Russell and the origins of the set-theoretic 'paradoxes'
- Beyond sets : a venture in collection-theoretic revisionism
- Boolean algebra (the technique for manipulating "and," "or," "not," and conditions) and applications to insurance : also discussion by T. N. E. Greville, Henry M. Sarason, and Edmund C. Berkeley
- Boolesche Funktionen und Postsche Klassen
- Bridge to abstract mathematics : mathematical proof and structures
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Category Theory and Computer Science : Edinburgh, U.K., September 7-9, 1987 Proceedings
- Category Theory and Computer Science : Manchester, UK, September 5-8, 1989 Proceedings
- Circles disturbed : the interplay of mathematics and narrative
- Circuit algebra : introduction
- Classes, relations et nombres ; : essai sur les groupements de la logistique et sur la reversibilité de la pensée
- Classical and fuzzy concepts in mathematical logic and applications
- Classical mathematical logic : the semantic foundations of logic
- Classical mathematical logic : the semantic foundations of logic
- Clavis universalis ; : arti mnemoniche e logica combinatoria da Lullo a Leibniz
- Coding the universe
- Collected works
- Combinatory logic
- Communication : a logical model
- Complete theories
- Completeness, compactness, and undecidability : an introduction to mathematical logic
- Computability : computable functions, logic, and the foundations of mathematics
- Computability and logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computability, complexity, logic
- Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24-27, 1993 Proceedings
- Computational aspects of an order-sorted logic with term declarations
- Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1-4, 1991 Proceedings
- Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28-July 1, 1993 Proceedings
- Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings
- Computer Science Logic : 13th International Workshop, CSL'99 8th Annual Conference of the EACSL Madrid, Spain, September 20-25, 1999 Proceedings
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
- Conditional logic in expert systems
- Constructibility and mathematical existence
- Constructive order types
- Continuous geometry
- Contributions to mathematical logic. : Proceedings of the Logic Colloquim, Hannover, 1966
- Cours de logique mathématique
- Course of mathematical logic
- Critical approaches to science & philosophy
- Das Wesen der Mathematik und der Aufbau der Welterkenntniss auf mathematischer Grundlage
- Das verhältnis der logik zur mengenlehre,
- David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933
- Degrees of unsolvability
- Delta, a paradox logic
- Derivation and counterexample ; : an introduction to philosophical logic
- Descriptive complexity
- Deux esquisses de logique
- Development of mathematical logic
- Diamond, a paradox logic
- Dictionary of symbols of mathematical logic
- Die Aufgabe der Wissenschaftslogik
- Digital logic and switching circuits : operation and analysis
- Direct and converse theorems ; : the elements of symbolic logic
- Discovering patterns in mathematics and poetry
- Discrete structures, logic, and computability
- Distilling ideas : an introduction to mathematical thinking
- Distributive normal forms in the calculus of predicates
- Educational algebra : a theoretical and empirical approach
- Eine Termlogik mit Auswahloperator
- Einführung in die Sprache der Logik
- Einführung in die mathematische Logik
- Einführung in die mathematische Logik. : Klassische Prädikatenlogik
- Einführung in die operative Logik und Mathematik
- Einführung in die symbolische Logik, mit besonderer Berücksichtigung ihrer Anwendungen
- Elementary applied symbolic logic
- Elementary logic
- Elementary logic
- 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. : (Model theory)
- Elements of symbolic logic
- Elements of symbolic logic
- Elements of the theory of computation
- Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language
- Epistemic logic for AI and computer science
- Equality, resemblance, and order
- Equational logic as a programming language
- Essai sur les conditions et les limites de la certitude logique
- Essais sur les logiques non chrysippiennes
- Essays on Frege
- Essays on Wittgenstein's Tractatus
- Estudios sobre sem'antica
- Executing temporal logic programs
- Fibring logics
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Filosofi︠ia︡ i logika : [sbornik stateĭ
- Filosofskiĭ analiz gipotezy lingvisticheskoĭ otnositelʹnosti
- First course in mathematical logic
- First order mathematical logic
- First-order dynamic logic
- First-order logic
- First-order logic and automated theorem proving
- Fixing Frege
- Fork algebras in algebra, logic and computer science
- Formal concept analysis : foundations and applications
- Formal concept analysis : mathematical foundations
- Formal logic ; : or, The Calculus of inference, necessary and probable
- Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
- Formal methods : theory and practice
- Formal methods in artificial intelligence
- Formal systems and recursive functions ; : proceedings
- Formale Logik und Grammatik
- Formalization of logic
- Foundational studies : selected works
- Foundations of Bayesianism
- Foundations of computing : system development with set theory and logic
- Foundations of logic and mathematics
- Foundations of logic and mathematics
- Foundations of logic programming
- Foundations of mathematical logic
- Foundations of mathematics
- Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
- Foundations without foundationalism : a case for second-order logic
- Frege : philosophy of mathematics
- Frege and Gödel : two fundamental texts in mathematical logic
- Frege and other philosophers
- Frege's lectures on logic : Carnap's student notes, 1910-1914
- Frege's logic
- Frege's theorem
- From Frege to Gödel ; : a source book in mathematical logic, 1879-1931
- From mathematics to philosophy
- From signs to propositions : the concept of form in eighteenth-century semantic theory
- Functions and generality of logic : reflections on Dedekind's and Frege's logicisms
- Fundamentals of mathematical logic
- Fundamentals of mathematics
- Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers
- Games, logic, and constructive sets
- Geometry of knowledge for intelligent systems
- George Boole : selected manuscripts on logic and its philosophy
- Giuseppe Peano between mathematics and logic : proceeding of the International congress 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
- Gottlob Freges Briefwechsel mit D. Hilbert, E. Husserl, B. Russell, sowie ausgewählte Einzelbriefe Freges
- Graph Reduction : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29-October 1, 1986
- Grundlagen der Mathematik
- Grundlagen der Mathematik
- Grundzüge der mathematischen Logik
- Grundzüge der theoretischen Logik
- Handbook of logic and language
- Handbook of logic in artificial intelligence and logic programming
- Handbook of logic in computer science
- Handbook of mathematical logic
- Handbook of the logic of argument and inference : the turn towards the practical
- Higher order logic and hardware verification
- How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
- How to read and do proofs : an introduction to mathematical thought processes
- Hyperedge Replacement: Grammars and Languages
- Implication, formalisation et logique naturelle
- In the light of logic
- Inexhaustibility : a non-exhaustive treatment
- Infinity and the mind : the science and philosophy of the infinite
- Institution-independent model theory
- Intensional and higher-order modal logic : with applications to Montague semantics
- Intensional logic : theory and applications
- Intermediate logic
- Internal logic : foundations of mathematics from Kronecker to Hilbert
- Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie
- Introduction to elementary mathematical logic
- Introduction to logic and sets
- Introduction to logic and sets
- Introduction to logic and to the methodology of deductive sciences
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic : set theory, compatible functions, model theory
- Introduction to mathematical thought
- Introduction to semantics
- Introduction to semantics, and Formalization of logic
- Introduction to symbolic logic
- Introduction to symbolic logic
- Introduction to symbolic logic
- Introduction to symbolic logic and its applications
- Introduction to the basic concepts and problems of modern logic
- Introduction to the foundations of mathematics
- Introduction to the foundations of mathematics
- Introduction à la logique algébrique
- Introduction á la logistique ;
- Introductory probability and statistical inference for secondary schools : an experimental course
- Introduzione ai problemi dell'assiomatica
- Intuitionism ; : an introduction
- Invariance and structural dependence
- Issledovani︠ia︡ po formalizovannym i︠a︡zykam i neklassicheskim logikam : [sbornik stateĭ
- Iteration theories : the equational logic of iterative processes
- Klassenlogik
- Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
- Kotarbiński : logic, semantics, and ontology
- Kreiseliana : about and around Georg Kreisel
- Kurt Gödel : das Album = the album
- L'algèbre de la logique
- L'algèbre de la logique. : (Reprografischer Nachdruck der Ausgabe Paris 1914.)
- L'algèbre logique et ses rapports avec la théorie des relations
- L'antinomia del mentitore nel pensiero contemporaneo da Peirce a Tarski : studi, testi, bibliografia
- L'Épistémologie de l'espace
- La consistance des théories formelles et le fondement des mathématiques
- La logique formelle
- La structure algébrique des théories mathématiques
- La teoría de retículos y su aplicación a la lógica matemática
- Language in action : categories, lambdas, and dynamic logic
- Language, logic, and mathematics
- Language, philosophy and logic
- Language, truth, and logic in mathematics
- Languages with expressions of infinite length
- Lattices to logic
- Laws of form
- Learning language in logic
- Learning language in logic
- Lecture notes in mathematical logic
- Lectures in logic and set theory
- Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
- Lectures on non-standard analysis
- Lectures on the logic of computer programming
- Les fondements de la logique symbolique ...
- Les fondements des mathématiques. : De la géométrie d'Euclide à la rélativité générale et à l'intuitionisme
- Les fondements logiques des mathématiques
- Les fondements logiques des mathématiques
- Letters on logic to a young man without a master
- Levels of abstraction in logic and human action : a theory of discontinuity in the structure of mathematical logic, psychological behaviour, and social organization
- Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox
- Leçons de logique algébrique
- Logic
- Logic : techniques of formal reasoning
- Logic : techniques of formal reasoning
- Logic Collogquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
- Logic Colloquium '69 ; : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
- Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium "Rekursive Kombinatorik"held from May 23 - 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
- Logic and algorithmic : an international symposium held in honour of Ernst Specker
- Logic and algorithms : with applications to the computer and information sciences
- Logic and arithmetic
- Logic and complexity
- Logic and computer science
- Logic and foundations of mathematics
- Logic and foundations of science
- Logic and information flow
- Logic and knowledge ; : essays, 1901-1950
- Logic and specification : extending VDM-SL for advanced formal specification
- Logic and structure
- Logic as algebra
- Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3-8, 1989 Proceedings
- Logic at work : essays dedicated to the memory of Helena Rasiowa
- Logic for applications
- Logic for computer science
- Logic for computer science : foundations of automatic theorem proving
- Logic for computer scientists
- Logic for mathematicians
- Logic for mathematicians
- Logic for problem solving
- Logic in elementary mathematics
- Logic of mathematics : a modern course of classical logic
- Logic of programs : workshop, ETH Zürich, May-July 1979
- Logic programming
- Logic programming, functions, relations, and equations
- Logic with trees : an introduction to symbolic logic
- Logic, algebra, and databases
- Logic, computers, and sets
- Logic, language, and computation
- Logic, proof, and sets
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic-based decision support : mixed integer model formulation
- Logical and logico-mathematical calculi. 2
- Logical approach to systems theory
- Logical forms : an introduction to philosophical logic
- Logical foundations of mathematics for behavioral scientists
- Logical foundations of probability
- Logical papers
- Logical systems containing only a finite number of symbols
- Logical tools for handling change in agent-based systems
- Logical writings
- Logically determined design : clockless system design with NULL convention logic
- Logically determined design : clockless system design with NULL convention logic
- Logicheskai︠a︡ istina i ėmpirizm
- Logicism renewed : logical foundations for mathematics and computer science
- Logics for artificial intelligence
- Logics of programs and their applications ; : proceedings, Poznan, August 23-29, 1980
- Logics of time and computation
- Logics without existence assumptions
- Logik für Linguisten
- Logik und Existenz : eine logistische Analyse der kategorischen Syllogismusfunktoren und das Problem der Nullklasse
- Logik und Sprache
- Logika i i︠a︡zyk nauchnoĭ teorii
- Logique et mathématiques : essai historique et critique sur le nombre infini
- Logique mathématique
- Logique mathématique, éléments de base : calcul propositionnel, calcul des prédicats
- Logique moderne
- Logisch-philosophische Abhandlung : Tractatus logico-philosophicus
- Logische Syntax der Sprache
- Logischeskie metody postroeni︠ia︡ matematicheskikh modeleĭ : opyt formalizat︠︡sii v sistemnom analize vosproizvodstva trudovykh resursov
- Many-sorted logic and its applications
- Mass terms and model-theoretic semantics
- Matematica logico intuitiva : nozioni di matemaiche complementari e di calcolo differenziale e integrale come introduzione agli studi di scienze economiche statistiche attuariali
- Mathematical Foundations of Computer Science 1984 : Proceedings, 11th Symposium Praha, Czechoslovakia September 3-7, 1984
- Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7-10, 1993 Proceedings
- Mathematical interpretation of formal systems
- Mathematical intuitionism : introduction to proof theory
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic : an introduction to model theory
- Mathematical logic : lectures
- Mathematical logic and Hilbert's & symbol
- Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
- Mathematical logic and formalized theories ; : a survey of basic concepts and results
- Mathematical logic and programming languages
- Mathematical logic and the foundation of mathematics : an introductory survey
- Mathematical logic and theoretical computer science
- Mathematical logic for computer science
- Mathematical logic for computer science
- Mathematical logic with special reference to the natural numbers
- Mathematical logic, the theory of algorithms, and the theory of sets
- Mathematical logic: a first course
- Mathematical reasoning : analogies, metaphors, and images
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematical recreations of Lewis Carroll [pseud.]
- Mathematical theory of program correctness
- Mathematico deductive theory of rote learning : a study in scientific methodology
- Mathematics and logic for digital devices
- Mathematics and plausible reasoning
- Mathematics, models, and modality : selected philosophical essays
- Mathematik und logik : vier abhandlungen
- Mathematische Gesetze der Logik
- Mathematische Logik mik Informatik-Anwendungen
- Meaning and existence in mathematics
- Meaning and necessity : a study in semantics and modal logic
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Mengenlehre und Logik
- Meta-logics and logic programming
- Metody sovremennoĭ matematiki i logiki v so︠t︡siologicheskikh issledovani︠ia︡kh : [Sbornik stateĭ]
- Mits, wits and logic
- Mits, wits, and logic
- Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
- Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
- Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
- Moderate realism and its logic
- Morality, decision, and social organization : toward a logic of ethics
- More precisely : the math you need to do philosophy
- Méthode axiomatique et formalisme
- Nachgelassene Schriften und wissenschaftlicher Briefwechsel
- Natural deduction : the logical basis of axiom systems
- New methods in symbolic logic
- New proofs of old theorems in logic and formal linguistics
- Non-Archimedean utility theory
- Non-standard analysis
- Non-standard analysis
- Notes on logic and set theory
- On group-theoretic decision problems and their classification
- On the syllogism : and other logical writings
- On the trail to Wittgenstein's hut : the historical background of the Tractatus logico-philosophicus
- On uniquely solvable Boolean equations
- Ontologie und logistische Analyse der Sprache ; : eine Untersuchung zur zeitgenössischen Universaliendiskussion
- Ontology and the logistic analysis of language. : An enquiry into the contemporary views on universals
- Optimization methods for logical inference
- Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
- Papers in philosophical logic
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Past, present and future
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Phenomenology, logic, and the philosophy of mathematics
- Philosophical applications of free logic
- Philosophical grammar : part I, The proposition, and its sense, part II, On logic and mathematics
- Philosophical problems of many-valued logic
- Philosophical remarks
- Philosophical remarks
- Philosophy and logical syntax
- Philosophy of mathematics and deductive structure in Euclid's Elements
- Philosophy of mathematics in the twentieth century : selected essays
- Plural logic
- Polish logic, 1920-1939
- Popular lectures on mathematical logic
- Posthumous writings
- Principles of mathematical logic
- Pristine Perspectives on Logic, Language, and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers
- Probabilistic logic in a coherent setting
- Probability and the logic of rational belief
- Problema nepolnoty teorii i ee gnoseologicheskoe znachenie
- Problemi epistemologici, da Hume all' ultimo Wittgenstein
- Problems of form
- Proceedings
- Proceedings of the Summer School in Logic, Leeds, 1967 ; : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
- Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
- Proof and knowledge in mathematics
- Proof, logic, and formalization
- Proofs and refutations : the logic of mathematical discovery
- Proofs of the Cantor-Bernstein theorem : a mathematical excursion
- Proper Forcing
- Propositional calculus
- Propositional logic
- Prototractatus ; : an early version of Tractatus logico-philosophicus
- Provability in logic
- Pulling up the ladder : the metaphysical roots of Wittgenstein's Tractatus logico-philosophicus
- Pure logic and other minor works
- Quality and concept
- Quantification : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic
- Quantifiers in deontic logic
- Quantitative analysis methods for substantive analysts
- Quantoren, Modalitäten, Paradoxien : Beiträge zur Logik
- Quantum logic
- Quantum probability--quantum logic
- Reading Frege's Grundgesetze
- Realizability : an introduction to its categorical side
- Reasoning about theoretical entities
- Reasoning about uncertainty
- Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
- Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs
- Recursive function theory and logic
- Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
- Reductive logic and proof-search : proof theory, semantics, and control
- Reduktionstypen der klassischen Prädikatenlogik : nach einer zweistündigen Vorlesung
- Regulae ad directionem ingenii
- Reports on mathematical logic
- Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
- Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques
- Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
- Ring-logics and p-rings
- Rippling : meta-level guidance for mathematical reasoning
- Roads to infinity : the mathematics of truth and proof
- Routledge philosophy guidebook to Wittgenstein and the Tractatus logico-philosophicus
- Räumliche Vorstellung und mathematisches Erkenntnisvermögen
- Règles utiles et claires pour la direction de l'esprit en la recherche de la vérité
- Régles pour la direction de l'esprit
- Selected logic papers
- Selected logic papers
- Selected logic papers
- Selected mathematical papers of Axel Thue
- Selected papers in logic and foundations, didactics, economics
- Selected papers on Łukasiewicz sentential calculi
- Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry
- Selected works
- Selected works in logic
- Selfconsciousness and selfreference : an interpretation of Wittgenstein's Tractatus
- Semantics and logics of computation
- Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
- Sentences undecidable in formalized arithmetic ; : an exposition of the theory of Kurt Gödel
- Set theory : exploring independence and truth
- Set theory and its logic
- Set theory and its logic
- Set theory and logic
- Set theory and logic
- Set theory and the continuum hypothesis
- Set theory, logic, and their limitations
- Sets, logic, and axiomatic theories
- Sets, logic, and axiomatic theories
- Sets, models and recursion theory. : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
- Signs of sense : reading Wittgenstein's Tractatus
- Six papers in logic
- Solvable cases of the decision problem
- Solving higher-order equations : from logic to programming
- Some problems in logical model-theory
- Something To Reckon With : the Logic of Terms
- Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 Proceedings
- Specifying message passing and time-critical systems with temporal logic
- Specifying systems : the TLA+ language and tools for hardware and software engineers
- Statistical methods and scientific inference
- Structure, method, and meaning ; : essays in honor of Henry M. Sheffer
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Studia logico-mathematica et philosophica : in honorem Rolf Nevanlinna ; die natali eius septuagesimo 22.X.1965
- Studies in foundations and combinatorics
- Studies in logic
- Studies in logic and probability
- Sur les algèbres de Hilbert ...
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic : an introduction
- Symbolic logic : an introductory textbook for non-mathematicians
- Symbolic logic and intelligent machines
- Symbolic logic and its applications
- Symbolic logic and mechanical theorem proving
- Symbolic logic and the real number system : an introduction to the foundations of number systems
- Symbolic logic, method and development
- Symbolism and truth : an introduction to the theory of knowledge
- Symbolism and truth ; : an introduction to the theory of knowledge
- Syntaxe, sémantique et axiomatique d'un langage de programmation simple
- Systems of Reductions
- Systems of formal logic
- Systems of logic
- Technical methods in philosophy
- Techniques of deductive inference
- Temporal logic
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic : mathematical foundations and computational aspects
- Temporal logic and state systems
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- Temporal logics and their applications
- Tense and tense logic
- The Big Typescript, TS 213
- The Birth of model theory : Lowenheim's Theorem in the frame of the theory of relatives
- The Boole-De Morgan correspondence 1842-1864
- The Calculi of symbolic logic, 1