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
761 Items that share the Concept Logic, Symbolic and mathematical
Context
Context of Logic, Symbolic and mathematicalSubject of
No resources found
No enriched resources found
- ... Logic of algebra
- A beginner's guide to discrete mathematics
- 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 concise introduction to mathematical logic
- 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 in mathematical logic for mathematicians
- A course on mathematical logic
- A course on mathematical logic
- 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 logical introduction to proof
- 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 science of operations : machines, logic and the invention of programming
- 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
- 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
- Adapting proofs-as-programs : the Curry-Howard protocol
- Advanced logic for applications
- Alfred Tarski : early work in Poland : geometry and teaching
- 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 systems
- Algorithmic logic
- 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 introductory to set theory
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- An invitation to abstract mathematics
- 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 decision making in uncertain systems
- Analysis and logic
- Analysis and synthesis of logics : how to cut and paste reasoning systems
- 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
- Around and beyond the square of opposition
- Autologic
- Automata logics, and infinite games : a guide to current research
- 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 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
- CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- 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
- Clavis universalis ; : arti mnemoniche e logica combinatoria da Lullo a Leibniz
- Coding the universe
- Cognitive reasoning : a formal approach
- 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, complexity, logic
- 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
- Computational aspects of an order-sorted logic with term declarations
- Computational thinking for the modern problem solver
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 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
- Decision procedures : an algorithmic point of view
- 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
- Distributive normal forms in the calculus of predicates
- Educational algebra : a theoretical and empirical approach
- Eine Termlogik mit Auswahloperator
- 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
- Essays on the foundations of mathematics
- Estudios sobre sem'antica
- Executing temporal logic programs
- Fibring logics
- 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
- Formalization of logic
- Foundational studies : selected works
- Foundations of Bayesianism
- Foundations of algebraic specification and formal software development
- 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 : the pure business of being true
- 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, actions and social software : multidisciplinary aspects
- 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
- 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
- Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers
- How to read and do proofs : an introduction to mathematical thought processes
- Hybrid logic and its proof-theory
- 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
- 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 structures and proofs
- 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 non-standard analysis
- 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
- Leśniewski's systems of logic and foundations of mathematics
- Logic
- Logic : a brief course
- 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 Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994 Proceedings
- Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings
- 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 games on automatic structures : playing with quantifiers and decompositions
- Logic and information flow
- Logic and knowledge ; : essays, 1901-1950
- Logic and specification : extending VDM-SL for advanced formal specification
- Logic and structure
- Logic and structure
- Logic as algebra
- Logic at work : essays dedicated to the memory of Helena Rasiowa
- Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
- Logic for applications
- Logic for computer science
- Logic for computer science : foundations of automatic theorem proving
- Logic for computer scientists
- 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 of programs : workshop, ETH Zürich, May-July 1979
- Logic programming
- Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
- Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
- Logic programming, functions, relations, and equations
- Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
- 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, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic-based decision support : mixed integer model formulation
- Logica : Metodo Breve
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Logica, Volume 1, Dimostrazioni e modelli al primo ordine
- Logical approach to systems theory
- Logical forms : an introduction to philosophical logic
- Logical foundations of mathematics and computational complexity : a gentle introduction
- 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 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 in AI : European Workshop JELIA '90 Amsterdam, the Netherlands, September 10-14, 1990 Proceedings
- Logics of programs and their applications ; : proceedings, Poznan, August 23-29, 1980
- Logics of specification languages
- 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
- Louis Couturat, Traité de Logique algorithmique
- 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 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 : foundations for information science
- Mathematical logic : foundations for information science
- 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 model theory : a brief introduction
- 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 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 olympiad treasures
- Mathematical problems from applied logic I : logics for the XXIst century
- Mathematical problems from applied logic II : logics for the XXIst century
- 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
- Mechanical logic in three-dimensional space
- 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
- Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
- Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
- Moderate realism and its logic
- Morality, decision, and social organization : toward a logic of ethics
- More precisely : the math you need to do philosophy
- Multiple-Valued Logic, 24th Symposium (ISMVL '94)
- 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
- Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings
- 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
- Paradoxes in probability theory
- Past, present and future
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Perspectives in computational complexity : the Somenath Biswas anniversary volume
- 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
- Plural logic
- Polish logic, 1920-1939
- Popular lectures on mathematical logic
- Posthumous writings
- Principles of mathematical logic
- 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
- 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 theory : the first step into impredicativity
- Proof, logic, and formalization
- Proofs and algorithms : an introduction to logic and computability
- Proofs and refutations : the logic of mathematical discovery
- Proofs of the Cantor-Bernstein Theorem : a Mathematical Excursion
- Proofs of the Cantor-Bernstein theorem : a mathematical excursion
- 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