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

 http://id.worldcat.org/fast/01002068
 (uri) http://id.worldcat.org/fast/fst01002068
 (uri) http://id.loc.gov/authorities/subjects/sh85078115
 Source
 fast
Context
Context of Logic, Symbolic and mathematicalSubject of
No resources found
No enriched resources found
 A computational logic handbook
 A course in mathematical logic
 A course in mathematical logic
 A course on mathematical logic
 A framework for priority arguments
 A profile of mathematical logic
 A tour through mathematical logic
 Abstract sets and finite ordinals : an introduction to the study of set theory
 Algebra, mathematical logic, number theory, topology
 An essay in modal logic
 An introduction to Wittgenstein's Tractatus
 An introduction to symbolic logic
 An introduction to symbolic logic
 An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
 Begriffsschrift und andere Aufsätze
 Between logic and intuition : essays in honor of Charles Parsons
 Collected logical works
 Communication: : a logical model
 Computability and logic
 Computability and logic
 Decision procedures : an algorithmic point of view
 Descriptive complexity
 Dictionary of symbols of mathematical logic.
 Discrete structures, logic, and computability
 Elementary logic
 Elementary symbolic logic
 Finite automata, formal logic, and circuit complexity
 Formal methods in artificial intelligence
 Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel.
 Foundations of the logical theory of scientific knowledge (complex logic).
 Frege and Gödel; : two fundamental texts in mathematical logic
 Funktion, Begriff, Bedeutung; : fünf logische Studien.
 Grundlagen der Mathematik.
 Handbook of logic and language
 Hybrid logic and its prooftheory
 Infinity and the mind : the science and philosophy of the infinite
 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
 Introduction to the basic concepts and problems of modern logic
 Introductory formal logic of mathematics
 Intuitionism; : an introduction
 Iteration theories : the equational logic of iterative processes
 La structure algébrique des théories mathématiques
 Lectures on linear logic
 Lectures on nonstandard analysis.
 Les fondements logiques des mathématiques
 Lingua universalis vs. calculus ratiocinator : an ultimate presupposition of twentiethcentury philosophy
 Logic and algorithms, : with applications to the computer and information sciences
 Logic and foundations of mathematics
 Logic and information flow
 Logic for mathematicians
 Logic programming, functions, relations, and equations
 Logic, computers, and sets
 Logic, language, and computation
 Logic, semantics, metamathematics; : papers from 1923 to 1938.
 Logical papers;
 Logical writings;
 LogikTexte; : kommentierte Auswahl zur Geschichte der modernen Logik
 Logische Untersuchungen
 Lógica matemática
 Mathematical foundations of programming
 Mathematical logic
 Mathematical logic and Hilbert's & symbol
 Mathematical logic and formalized theories; : a survey of basic concepts and results
 Mathematical logic and theoretical computer science
 Mathematical logic with special reference to the natural numbers
 Mathematical logic, the theory of algorithms, and the theory of sets
 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
 Natural deduction; : a prooftheoretical study
 Nonstandard analysis
 Nonstandard logics for automated reasoning
 On grouptheoretic decision problems and their classification,
 Philosophical applications of free logic
 Posthumous writings
 Program logics for certified compilers
 Proofs and algorithms : an introduction to logic and computability
 Proofs and refutations : the logic of mathematical discovery
 Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
 Regulae ad directionem ingenii. : Regeln zur Ausrichtung der Erkenntniskraft.
 Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry
 Selected works in logic.
 Set theory and logic,
 Studies in logic and probability
 Symbolic logic
 Symbolic logic and the real number system; : an introduction to the foundations of number systems
 Temporal logic : mathematical foundations and computational aspects
 Temporal logics and their applications
 Term logic with choice operator
 The Logical enterprise
 The anatomy of mathematics,
 The basic laws of arithmetic; : exposition of the system.
 The consistency of the axiom of choice and of the generalized continuumhypothesis with the axioms of set theory,
 The critical approach to science and philosophy
 The heritage of Kazimierz Ajdukiewicz
 The intuitionistic critique of the law of excluded middle : from Brouwer to Lorenzen
 The limits of science; : outline of logic and of the methodology of the exact sciences.
 The logic design of transistor digital computers
 The logical basis for computer programming
 The semantic foundations of logic
 The twovalued iterative systems of mathematical logic,
 Twelve papers in logic and algebra
 Two papers on symbolic logic: : Form and content in quantification theory and reductions in the theory of types
Embed
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/4MMovVBErG8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/4MMovVBErG8/">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/4MMovVBErG8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/4MMovVBErG8/">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>