Logic, Symbolic and mathematical
Resource Information
The concept Logic, Symbolic and mathematical represents the subject, aboutness, idea or notion of resources found in Boston University 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 Boston University Libraries.
 Label
 Logic, Symbolic and mathematical
 Authority link

 (uri) http://id.loc.gov/authorities/subjects/sh85078115
 http://id.worldcat.org/fast/01002068
 Source
 fast
Context
Context of Logic, Symbolic and mathematicalSubject of
 A computational logic handbook
 A course in mathematical logic
 A framework for priority arguments
 A mathematical introduction to logic
 A profile of mathematical logic
 A science of operations : machines, logic and the invention of programming
 Algebra, mathematical logic, number theory, topology
 An essay in modal logic
 An introduction to mathematical logic and type theory : to truth through proof
 An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
 Around and beyond the square of opposition
 Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
 Communication: : a logical model
 Computability and logic
 Computability and logic
 Computability, complexity, logic
 Descriptive complexity
 Dictionary of symbols of mathematical logic.
 Elementary logic
 Elementary logic,
 Elements of mathematical logic. : (Model theory)
 Essai sur les conditions et les limites de la certitude logique,
 Euphony and logos : essays in honour of Maria SteffenBatÃ³g and Tadeusz BatÃ³g
 Finite automata, formal logic, and circuit complexity
 Formal methods in artificial intelligence
 Foundations of logic and mathematics
 Foundations of mathematical logic
 Frege and GÃ¶del; : two fundamental texts in mathematical logic
 From Frege to GÃ¶del; : a source book in mathematical logic, 18791931
 Funktion, Begriff, Bedeutung; : fÃ¼nf logische Studien.
 Games, actions and social software : multidisciplinary aspects
 Games, puzzles, and computation
 Handbook of logic and language
 Handbook of mathematical logic
 How to read and do proofs : an introduction to mathematical thought process
 Inductive probability
 Initiation a la logique
 Intensional and higherorder modal logic : with applications to Montague semantics
 Intensional logic and the metaphysics of intentionality
 Interpretationen der Modallogik : ein Beitrag zur phÃ¤nomenologischen Wissenschaftstheorie
 Introduction to mathematical logic
 Introduction to mathematical logic,
 Introduction to symbolic logic,
 Intuitionism; : an introduction
 Iteration theories : the equational logic of iterative processes
 La crise de la raison et la logique; : confÃ©rences faites Ã l'UniversitÃ© de LiÃ¨ge dans le cadre des Ã©changes culturels belgonÃ©erlandais au mois de mais, 1956
 Language, truth, and logic in mathematics
 Languages with expressions of infinite length
 Lecture notes in logic
 Lectures on linear logic
 Logic and automata : history and perspectives
 Logic and computer science
 Logic for computer science : foundations of automatic theorem proving
 Logic for computer scientists
 Logic for mathematicians
 Logic, computers, and sets
 Logic, language, and computation
 Logic, probability and science
 Logic; : techniques of formal reasoning
 Logical papers;
 Logical tools for handling change in agentbased systems
 Logical writings;
 LogikTexte; : kommentierte Auswahl zur Geschichte der modernen Logik
 Manyvalued logic as a basis for set theory
 MatemÃ¡tica fundamental para matemÃ¡ticos
 Mathematical logic
 Mathematical logic
 Mathematical logic
 Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
 Mathematical logic and programming languages
 Mathematico deductive theory of rote learning; : a study in scientific methodology,
 Meaning and existence in mathematics
 Meaning and necessity : a study in semantics and modal logic
 Mengenlehre und Logik
 Modal logics.
 Natural deduction; : a prooftheoretical study
 Nonstandard analysis
 On grouptheoretic decision problems and their classification,
 PX, a computational logic
 Papers in philosophical logic
 Philosophical problems of manyvalued logic
 Philosophy of mathematics and deductive structure in Euclid's Elements
 Proceedings of the Summer School in Logic, Leeds, 1967; : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
 Program logics for certified compilers
 Provability in logic
 Rationis Defensor : essays in honour of Colin Cheyne
 Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
 Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry
 Selected works in logic.
 Set theory and its logic
 Set theory and logic
 Set theory and logic
 Set theory and logic,
 Simultaneous observability and the logic of quantum mechanics
 Studies in logic and probability
 Symbolic logic
 Symbolic logic
 Symbolic logic and the real number system; : an introduction to the foundations of number systems
 Symbolic logic,
 Systems of formal logic
 Systems of logic
 Temporal logic of programs
 Temporal logics and their applications
 Term logic with choice operator
 The BooleDe Morgan correspondence, 18421864
 The Logical enterprise
 The algebraic theory of switching circuits,
 The axiomatic method : an introduction to mathematical logic
 The basic laws of arithmetic; : exposition of the system.
 The calculi of lambdaconversion,
 The computer modelling of mathematical reasoning
 The consistency of the axiom of choice and of the generalized continuumhypothesis with the axioms of set theory,
 The elements of mathematical logic
 The heritage of Kazimierz Ajdukiewicz
 The intuitionistic critique of the law of excluded middle : from Brouwer to Lorenzen
 The laws of thought (1854)
 The limits of science; : outline of logic and of the methodology of the exact sciences.
 The logic design of transistor digital computers
 The logic of indeterminacy in quantum mechanics
 The problems of logic,
 Time and modality
 Toposes and local set theories : an introduction
 Truth, existence and explanation : FilMat 2016 studies in the philosophy of mathematics
 Twelve papers in logic and algebra
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/cG_qEAdcGcY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/cG_qEAdcGcY/">Logic, Symbolic and mathematical</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Concept Logic, Symbolic and mathematical
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/cG_qEAdcGcY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/cG_qEAdcGcY/">Logic, Symbolic and mathematical</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>