Mathematical logic

Resource Information

The concept Mathematical logic represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.

The Resource Mathematical logic

Label: Mathematical logic

Authority link: (uri) http://id.loc.gov/authorities/subjects/sh85078115

Mathematical logic

100+ Items that share the Concept Mathematical logic

A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella, (electronic resource)

Borrow it

A New Perspective on Nonmonotonic Logics, by Dov M. Gabbay, Karl Schlechta, (electronic resource)

Borrow it

AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings, edited by Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, (electronic resource)

Borrow it

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro, (electronic resource)

Borrow it

Advances in Proof Theory, edited by Reinhard Kahle, Thomas Strahm, Thomas Studer, (electronic resource)

Borrow it

Advances in Proof-Theoretic Semantics, edited by Thomas Piecha, Peter Schroeder-Heister, (electronic resource)

Borrow it

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings, edited by Nicola Olivetti, Ashish Tiwari, (electronic resource)

Borrow it

Chinese Lexical Semantics : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers, edited by Qin Lu, Helena Hong Gao, (electronic resource)

Borrow it

Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers, edited by Minghui Dong, Jingxia Lin, Xuri Tang, (electronic resource)

Borrow it

Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, edited by Ichiro Hasuo, (electronic resource)

Borrow it

Combinatorial Algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers, edited by Zsuzsanna Lipták, William F. Smyth, (electronic resource)

Borrow it

Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond, (electronic resource)

Borrow it

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, edited by Swarat Chaudhuri, Azadeh Farzan, (electronic resource)

Borrow it

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, edited by Swarat Chaudhuri, Azadeh Farzan, (electronic resource)

Borrow it

Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings, edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch, (electronic resource)

Borrow it

Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings, edited by Alexander S. Kulikov, Gerhard J. Woeginger, (electronic resource)

Borrow it

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, edited by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić, (electronic resource)

Borrow it

Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases, by Ihsen Yengui, (electronic resource)

Borrow it

Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings, edited by Roland Meyer, André Platzer, Heike Wehrheim, (electronic resource)

Borrow it

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, (electronic resource)

Borrow it

Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012, edited by Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie, (electronic resource)

Borrow it

Deductive Software Verification – The KeY Book : From Theory to Practice, edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, (electronic resource)

Borrow it

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, edited by Martin Fränzle, Deepak Kapur, Naijun Zhan, (electronic resource)

Borrow it

Dependence Logic : Theory and Applications, edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, (electronic resource)

Borrow it

Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity, by Michał Skrzypczak, (electronic resource)

Borrow it

Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, edited by Srečko Brlek, Christophe Reutenauer, (electronic resource)

Borrow it

Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers, edited by Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern, (electronic resource)

Borrow it

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou, (electronic resource)

Borrow it

Finitely Supported Mathematics : An Introduction, by Andrei Alexandru, Gabriel Ciobanu, (electronic resource)

Borrow it

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, edited by Christiano Braga, Peter Csaba Ölveczky, (electronic resource)

Borrow it

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu, (electronic resource)

Borrow it

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, edited by Marco Bernardo, Rocco De Nicola, Jane Hillston, (electronic resource)

Borrow it

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, edited by Márcio Cornélio, Bill Roscoe, (electronic resource)

Borrow it

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, edited by Leila Ribeiro, Thierry Lecomte, (electronic resource)

Borrow it

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, edited by Martin Fränzle, Nicolas Markey, (electronic resource)

Borrow it

Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, edited by Elvira Albert, Ivan Lanese, (electronic resource)

Borrow it

Foundations of Biomedical Knowledge Representation : Methods and Applications, edited by Arjen Hommersom, Peter J.F. Lucas, (electronic resource)

Borrow it

Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, edited by Carsten Lutz, Silvio Ranise, (electronic resource)

Borrow it

Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, edited by Oleg Kiselyov, Andy King, (electronic resource)

Borrow it

Fuzziness in Information Systems : How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization, by Miroslav Hudec, (electronic resource)

Borrow it

Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers, edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton, (electronic resource)

Borrow it

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, edited by Roderick Bloem, Eli Arbel, (electronic resource)

Borrow it

Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings, edited by Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, ALESSANDRO DI NUOVO, Mario Pavone, El-Ghazali Talbi, (electronic resource)

Borrow it

Inductive Logic Programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers, edited by Jesse Davis, Jan Ramon, (electronic resource)

Borrow it

Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings, edited by Yvo Desmedt, (electronic resource)

Borrow it

Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers, edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis, (electronic resource)

Borrow it

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Erika Ábrahám, Marieke Huisman, (electronic resource)

Borrow it

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, edited by Jasmin Christian Blanchette, Stephan Merz, (electronic resource)

Borrow it

Intuitionistic Fuzzy Logics, by Krassimir T. Atanassov, (electronic resource)

Borrow it

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, edited by Adrian-Horia Dediu, Jan JanouÅ¡ek, Carlos MartÃn-Vide, Bianca Truthe, (electronic resource)

Borrow it

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, edited by Tiziana Margaria, Bernhard Steffen, (electronic resource)

Borrow it

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, edited by Tiziana Margaria, Bernhard Steffen, (electronic resource)

Borrow it

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers, edited by Anna-Lena Lamprecht, (electronic resource)

Borrow it

Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, (electronic resource)

Borrow it

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, edited by Sujata Ghosh, Sanjiva Prasad, (electronic resource)

Borrow it

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, (electronic resource)

Borrow it

Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz, (electronic resource)

Borrow it

Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications, by Yves Nievergelt, (electronic resource)

Borrow it

Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings, edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang, (electronic resource)

Borrow it

Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, edited by Moreno Falaschi, (electronic resource)

Borrow it

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings, edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré, (electronic resource)

Borrow it

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, edited by Sergei Artemov, Anil Nerode, (electronic resource)

Borrow it

Logical Studies of Paraconsistent Reasoning in Science and Mathematics, edited by Holger Andreas, Peter Verdée, (electronic resource)

Borrow it

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, edited by Dragan Bošnački, Anton Wijs, (electronic resource)

Borrow it

Models of Strategic Reasoning : Logics, Games, and Communities, edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge, (electronic resource)

Borrow it

Modern Logic 1850-1950, East and West, edited by Francine F. Abeles, Mark E. Fuller, (electronic resource)

Borrow it

Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers, edited by Michael Rovatsos, George Vouros, Vicente Julian, (electronic resource)

Borrow it

NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, edited by Sanjai Rayadurgam, Oksana Tkachuk, (electronic resource)

Borrow it

Natural Language Processing and Information Systems : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings, edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera, (electronic resource)

Borrow it

New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014, edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta, (electronic resource)

Borrow it

Number Theory : An Introduction via the Density of Primes, by Benjamin Fine, Gerhard Rosenberger, (electronic resource)

Borrow it

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, edited by Susanne Saminger-Platz, Radko Mesiar, (electronic resource)

Borrow it

Ordered Sets : An Introduction with Connections from Combinatorics to Topology, by Bernd Schröder, (electronic resource)

Borrow it

PRIMA 2016: Princiles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings, edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni, (electronic resource)

Borrow it

Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, edited by Manuel Mazzara, Andrei Voronkov, (electronic resource)

Borrow it

Petri Net Synthesis, by Eric Badouel, Luca Bernardinello, Philippe Darondeau, (electronic resource)

Borrow it

Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, edited by Michel Rueher, (electronic resource)

Borrow it

Probability Logics : Probability-Based Formalization of Uncertain Reasoning, by Zoran Ognjanović, Miodrag Rašković, Zoran Marković, (electronic resource)

Borrow it

Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, edited by Xinyu Feng, Sungwoo Park, (electronic resource)

Borrow it

Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, edited by Atsushi Igarashi, (electronic resource)

Borrow it

Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska, (electronic resource)

Borrow it

Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings, edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba, (electronic resource)

Borrow it

Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu, (electronic resource)

Borrow it

Reliable Software Technologies – Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, edited by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones, (electronic resource)

Borrow it

Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, edited by Dorel Lucanu, (electronic resource)

Borrow it

Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, (electronic resource)

Borrow it

Scala: From a Functional Programming Perspective : An Introduction to the Programming Language, by Vicenç Torra, (electronic resource)

Borrow it

Semantic Technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers, edited by Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu, (electronic resource)

Borrow it

Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers, edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu, (electronic resource)

Borrow it

Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen, (electronic resource)

Borrow it

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, edited by Rocco De Nicola, Eva Kühn, (electronic resource)

Borrow it

Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, edited by Ivica Crnkovic, Elena Troubitsyna, (electronic resource)

Borrow it

Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer, (electronic resource)

Borrow it

Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, edited by Xavier Rival, (electronic resource)

Borrow it

Statistical Language and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings, edited by Pavel Král, Carlos Martín-Vide, (electronic resource)

Borrow it

Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, edited by Bernhard K. Aichernig, Carlo A. Furia, (electronic resource)

Borrow it

The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach, by George Grätzer, (electronic resource)

Borrow it

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, edited by Marsha Chechik, Jean-François Raskin, (electronic resource)

Borrow it

Topics in Theoretical Computer Science : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers, edited by Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi, (electronic resource)

Borrow it

Towards Paraconsistent Engineering, edited by Seiki Akama, (electronic resource)

Borrow it

Context

Context of Mathematical logic

Subject of

A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A New Perspective on Nonmonotonic Logics
AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Advances in Proof Theory
Advances in Proof-Theoretic Semantics
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Chinese Lexical Semantics : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers
Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Combinatorial Algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Deductive Software Verification – The KeY Book : From Theory to Practice
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Dependence Logic : Theory and Applications
Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity
Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Finitely Supported Mathematics : An Introduction
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Foundations of Biomedical Knowledge Representation : Methods and Applications
Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Fuzziness in Information Systems : How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Inductive Logic Programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings
Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Intuitionistic Fuzzy Logics
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Models of Strategic Reasoning : Logics, Games, and Communities
Modern Logic 1850-1950, East and West
Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Natural Language Processing and Information Systems : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings
New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
Number Theory : An Introduction via the Density of Primes
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Ordered Sets : An Introduction with Connections from Combinatorics to Topology
PRIMA 2016: Princiles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Petri Net Synthesis
Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Probability Logics : Probability-Based Formalization of Uncertain Reasoning
Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Reliable Software Technologies – Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Scala: From a Functional Programming Perspective : An Introduction to the Programming Language
Semantic Technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Statistical Language and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Topics in Theoretical Computer Science : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Towards Paraconsistent Engineering
Transactions on Rough Sets XX
Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Trick or Truth? : The Mysterious Connection Between Physics and Mathematics
Trusted Systems : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
Turing Computability : Theory and Applications
Turing's Revolution : The Impact of His Ideas about Computability
Type Systems for Distributed Programs: Components and Sessions
Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Writing Proofs in Analysis

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: Carousel Grid List Card

Include data citation:

<div class="citation" vocab="http://schema.org/"> Data from <a href="http://link.bu.edu/resource/dd7uVPGEg_4/">Mathematical logic</a> - <a property="url" href="http://link.bu.edu/">Boston University Libraries</a></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 Mathematical logic

Copy and paste the following RDF/HTML data fragment to cite this resource

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/dd7uVPGEg_4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/dd7uVPGEg_4/">Mathematical logic</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>

Mathematical logic

Resource Information

The concept Mathematical logic represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.

Context

Subject of