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.loc.gov/authorities/subjects/sh85078115
 /resolver/wikidata/lc/sh85078115
Context
Context of Logic, Symbolic and mathematicalSubject of
 A first course in mathematical logic and set theory
 Abriss der Logistik : mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen,
 Alan Turing : his work and impact
 Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 1415, 2015. Revised Selected Papers
 Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 1517, 2016, Proceedings
 Combinatorial Algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 1719, 2016, Proceedings
 Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 1315, 2016, Proceedings
 Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 24, 2016, Proceedings
 Concepts of proof in mathematics, philosophy, and computer science
 Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 58, 2016. Proceedings
 Directed Algebraic Topology and Concurrency
 Elements of symbolic logic
 Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
 Formal logic;
 Formalization of logic
 Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 711, 2016. Proceedings
 Freedom and Enforcement in Action : A Study in Formal Action Theory
 Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 56, 2016, Proceedings
 Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings
 Inductive Logic Programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 2022, 2015, Revised Selected Papers
 Information Processing and Management of Uncertainty in KnowledgeBased Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20  24, 2016, Proceedings, Part II
 Information Processing and Management of Uncertainty in KnowledgeBased Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 2024, 2016, Proceedings, Part I
 Information Technology in Bio and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 58, 2016, Proceedings
 Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 2529, 2016, Proceedings
 Introduction to semantics
 Introduction to semantics, : and Formalization of logic
 Introduction to symbolic logic and its applications
 KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 2630, 2016, Proceedings
 Logik; : ihr System und ihr Verhältnis zur Logistik
 Mathematical recreations of Lewis Carroll [pseud.]
 Meaning and necessity : a study in semantics and modal logic
 New Developments in Formal Languages and Applications
 Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 2223, 2016, Proceedings
 Pure logic and other minor works,
 Reactive Kripke semantics
 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 2830, 2016, Proceedings
 Scalable Uncertainty Management : 10th International Conference, SUM 2016, Nice, France, September 2123, 2016, Proceedings
 Studies in logic
 Subjective Logic : A Formalism for Reasoning Under Uncertainty
 Symbolic logic,
 Text Analysis Pipelines : Towards Adhoc LargeScale Text Mining
 The Life and Work of Leon Henkin : Essays on His Contributions
 The Real Numbers : An Introduction to Set Theory and Analysis
 The irrationals : a story of the numbers you can't count on
 Tracking reason : proof, consequence, and truth
 Transactions on LargeScale Data and KnowledgeCentered Systems XXII
 Transactions on LargeScale Data and KnowledgeCentered Systems XXIII : Selected Papers from FDSE 2014
 Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 â September 1, 2015 Revised Selected Papers
 Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 911, 2016, Proceedings
 Where is the Gödelpoint hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
 Wittgenstein's Tractatus : history and interpretation
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/cv2i4tC2WtM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/cv2i4tC2WtM/">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/cv2i4tC2WtM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/cv2i4tC2WtM/">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>