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
No resources found
No enriched resources found
 A course in mathematical logic for mathematicians
 A course on mathematical logic
 A framework for priority arguments
 A hierarchy of formulas in set theory
 A theory of formal deducibility
 Algebraic systems
 An introduction to mathematical logic and type theory : to truth through proof
 Begriffsschrift und andere Aufsätze
 Coding the universe
 Computability, complexity, logic
 Decision procedures : an algorithmic point of view
 Deducibility and decidability
 Discrete structures, logic, and computability
 Elementary logic
 Elementary logic,
 Elementary symbolic logic
 Elements of logic and foundations of mathematics in problems
 Elements of mathematical logic. : (Model theory)
 First course in mathematical logic
 Firstorder logic and automated theorem proving
 Foundations of mathematical logic
 From Frege to Gödel; : a source book in mathematical logic, 18791931
 Grundlagen der Mathematik.
 Handbook of mathematical logic
 Hybrid logic and its prooftheory
 Inductive probability
 Infinity and the mind : the science and philosophy of the infinite
 Intensional logic and the metaphysics of intentionality
 Introduction to mathematical logic
 Introduction to symbolic logic,
 Introduction to the foundations of mathematics
 Introductory formal logic of mathematics
 Is God a mathematician?
 Laws of form
 Lectures on nonstandard analysis.
 Logic
 Logic and automata : history and perspectives
 Logic and foundations of science.
 Logic and information flow
 Logic, sets, and recursion
 Logic; : techniques of formal reasoning
 Logical and logicomathematical calculi. 2.
 Logical papers;
 Logics of programs with boolean memory
 Lógica matemática
 Manyvalued logic as a basis for set theory
 Mathematical foundations of programming
 Mathematical logic
 Mathematical logic and theoretical computer science
 Mathematical logic, the theory of algorithms, and the theory of sets
 Mathematics and plausible reasoning
 Mengenlehre und Logik
 Modal logics.
 Moderate realism and its logic
 Nonstandard logics for automated reasoning
 PX, a computational logic
 Paradoxes and common sense
 Proofs and algorithms : an introduction to logic and computability
 Proofs and refutations : the logic of mathematical discovery
 Provability in logic
 Purity, spectra and localisation
 Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
 Regulae ad directionem ingenii. : Regeln zur Ausrichtung der Erkenntniskraft.
 Set theory and its logic
 Set theory and the continuum hypothesis
 Simultaneous observability and the logic of quantum mechanics
 Six papers in logic
 Studien zu Frege : Studies on Frege
 Symbolic logic
 Systems of logic
 Temporal logic : mathematical foundations and computational aspects
 The axiomatic method : an introduction to mathematical logic
 The elements of mathematical logic
 The intuitionistic critique of the law of excluded middle : from Brouwer to Lorenzen
 The laws of thought (1854)
 The logic of indeterminacy in quantum mechanics
 The problems of logic,
 The search for truth,
 The twovalued iterative systems of mathematical logic,
 Time and modality
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/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>