Mathematical Logic and Foundations.
Overview
Works: | 398 works in 324 publications in 324 languages |
---|
Titles
New Computational Paradigms :Changing Conceptions of What is Computable /
by:
(Electronic resources)
Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
by:
(Electronic resources)
Computer Science Logic (vol. # 4207)20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
by:
(Electronic resources)
Mechanizing Mathematical ReasoningEssays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(Electronic resources)
Computer Science Logic19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(Electronic resources)
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(Electronic resources)
Computer science logic22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(Language materials, printed)
Modalities and multimodalitieswith the assistance and collaboration of Juliana Bueno-Soler /
by:
(Language materials, printed)
Deduction, computation, experimentexploring the effectiveness of proof /
by:
(Language materials, printed)
A geometry of approximationrough set theory: logic, algebra and topology of Conceptual Patterns /
by:
(Language materials, printed)
From a geometrical point of viewa study of the history and philosophy of category theory /
by:
(Electronic resources)
The mathematical coloring bookmathematics of coloring and the colorful life of its creators /
by:
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(Electronic resources)
Formal theories of informationfrom Shannon to semantic information theory and general concepts of information /
by:
(Electronic resources)
Languages: from formal to naturalessays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(Electronic resources)
Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/
by:
(Electronic resources)
Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
(Electronic resources)
Rough sets and knowledge technology4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(Electronic resources)
Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
by:
(Electronic resources)
Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(Electronic resources)
Recasting realityWolfgang Pauli's philosophical ideas and contemporary science /
by:
(Electronic resources)
Additive number theoryfestschrift in honor of the sixtieth birthday of Melvyn B. Nathanson /
by:
(Electronic resources)
Mathematical livesprotagonists of the twentieth century from Hilbert to Wiles /
by:
(Electronic resources)
From boolean logic to switching circuits and automatatowards modern information technology /
by:
(Electronic resources)
Logic, mathematics, philosophy, vintage enthusiasmsessays in honour of John L. Bell /
by:
(Electronic resources)
The Colorado Mathematical Olympiad and further explorationsfrom the mountains of Colorado to the peaks of mathematics /
by:
(Electronic resources)
Giuseppe Peano between mathematics and logicproceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 /
by:
(Electronic resources)
Tools for teaching logicthird international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings /
by:
(Electronic resources)
Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(Electronic resources)
Logic and games on automatic structuresplaying with quantifiers and decompositions /
by:
(Electronic resources)
The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(Electronic resources)
Models of computation in context7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
(Electronic resources)
Logic, rationality, and interactionthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Electronic resources)
A beginner's guide to finite mathematicsfor business, management, and the social sciences /
by:
(Electronic resources)
How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Electronic resources)
Lectures on logic and computationESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(Electronic resources)
The logic of categorial grammarsa deductive account of natural language syntax and semantics /
by:
(Electronic resources)
Epistemology versus ontologyessays on the philosophy and foundations of mathematics in honour of Per Martin-Lof /
by:
(Electronic resources)
Where is the Godel-point hidingGentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(Electronic resources)
Mereology and the sciencesparts and wholes in the contemporary scientific context /
by:
(Electronic resources)
Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Electronic resources)
Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(Electronic resources)
Perspectives in computational complexitythe Somenath Biswas anniversary volume /
by:
(Electronic resources)
Constructivity and computability in historical and philosophical perspective
by:
(Electronic resources)
Model theory in algebra, analysis and arithmeticCetraro, Italy 2012 /
by:
(Language materials, printed)
The road to universal logicFestschrift for 50th Birthday of Jean-Yves Beziau.Volume I /
by:
(Electronic resources)
Ideals, varieties, and algorithmsan introduction to computational algebraic geometry and commutative algebra /
by:
(Electronic resources)
Facets of uncertainties and applicationsICFUA, Kolkata, India, December 2013 /
by:
(Electronic resources)
The unknown as an engine for sciencean essay on the definite and the indefinite /
by:
(Electronic resources)
Quantum physics, fuzzy sets and logicsteps towards a many-valued interpretation of quantum mechanics /
by:
(Electronic resources)
Quantifiers, quantifiers, and quantifiersthemes in logic, metaphysics, and language /
by:
(Electronic resources)
Special topics in mathematics for computer scientistssets, categories, topologies and measures /
by:
(Electronic resources)
Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(Electronic resources)
Logic, rationality, and interaction5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(Electronic resources)
Logic, mathematics, and computer sciencemodern foundations with practical applications /
by:
(Electronic resources)
Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Electronic resources)
Constructive commutative algebraprojective modules over polynomial rings and dynamical Gröbner bases /
by:
(Electronic resources)
New directions in paraconsistent logic5th WCP, Kolkata, India, February 2014 /
by:
(Electronic resources)
Mathematics and the mindan introduction into Ibn Sina's theory of knowledge /
by:
(Electronic resources)
Structural analysis of non-classical logicsthe proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(Electronic resources)
Trick or truth?the mysterious connection between physics and mathematics /
by:
(Electronic resources)
Ordered setsan introduction with connections from combinatorics to topology /
by:
(Electronic resources)
Objectivity, realism, and proofFilMat studies in the philosophy of mathematics /
by:
(Electronic resources)
Cultures of mathematics and logicselected papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(Electronic resources)
Probability logicsprobability-based formalization of uncertain reasoning /
by:
(Electronic resources)
Martin Davis on computability, computational logic, and mathematical foundations
by:
(Electronic resources)
Causal nets, interventionism, and mechanismsphilosophical foundations and applications /
by:
(Electronic resources)
Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics /
by:
(Electronic resources)
Process algebras for Petri netsthe alphabetization of distributed systems /
by:
(Electronic resources)
The Colorado Mathematical Olympiadthe third decade and further explorations : from the mountains of Colorado to the peaks of mathematics /
by:
(Electronic resources)
Harmonies of disorderNorbert Wiener: a mathematician-philosopher of our time /
by:
(Electronic resources)
Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 /
by:
(Electronic resources)
Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
(Electronic resources)
Artificial adaptive systems using auto contractive mapstheory, applications and extensions /
by:
(Electronic resources)
The map and the territoryexploring the foundations of science, thought and reality /
by:
(Electronic resources)
Intuitionistic proof versus classical truththe role of Brouwer's creative subject in intuitionistic mathematics /
by:
(Electronic resources)
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
by:
(Electronic resources)
Wandering towards a goalhow can mindless mathematical laws give rise to aims and intention? /
by:
(Electronic resources)
Philosophy's loss of logic to mathematicsan inadequately understood take-over /
by:
(Electronic resources)
Formal methods for nonmonotonic and related logics.Vol II,Theory revision, inheritance, and various abstract properties
by:
(Electronic resources)
Formal methods for nonmonotonic and related logics.Vol I:,Preference and size
by:
(Electronic resources)
Quantum computation and logichow quantum computers have inspired logical investigations /
by:
(Electronic resources)
Ludwig Wittgenstein's philosophical investigationsan Attempt at a Critical Rationalist Appraisal /
by:
(Electronic resources)
Contextualism, factivity and closurean union that should not take place? /
by:
(Electronic resources)
Mathematics, informatics, and their applications in natural sciences and engineeringAMINSE 2017, Tbilisi, Georgia, December 6-9 /
by:
(Electronic resources)
Theory of graded consequencea general framework for logics of uncertainty /
by:
(Electronic resources)
Constructive semanticsmeaning in between phenomenology and constructivism /
by:
(Electronic resources)
Noneist explorations.with supplementary essaysI,The Sylvan Jungle - Volume 2 :
by:
(Electronic resources)
Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts /
by:
(Electronic resources)
Parameterized complexity in the polynomial hierarchyextending parameterized complexity theory to higher levels of the hierarchy /
by:
(Electronic resources)
Leibniz and the structure of sciencesmodern perspectives on the history of logic, mathematics, epistemology /
by:
(Electronic resources)
The panenmentalist philosophy of sciencefrom the recognition of individual pure possibilities to actual discoveries /
by:
(Electronic resources)
Knowledge, proof and dynamicsthe Fourth Asian Workshop on Philosophical Logic /
by:
(Electronic resources)
Nonclassical logics and their applicationspost-proceedings of the 8th International Workshop on Logic and Cognition /
by:
(Electronic resources)
WITTGENSTEINIAN (adj.)looking at the world from the viewpoint of Wittgenstein's philosophy /
by:
(Electronic resources)
Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
(Electronic resources)
Selected topics in probabilistic safety assessmentmethodology and practice in nuclear power plants /
by:
(Electronic resources)
Solving problems in mathematical analysis.Part I,Sets, functions, limits, derivatives, integrals, sequences and series
by:
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings /
by:
(Electronic resources)
Foundations of finitely supported structuresa set theoretical viewpoint /
by:
(Electronic resources)
Can mathematics be proved consistent?Godel's shorthand notes & lectures on incompleteness /
by:
(Electronic resources)
Modelling naturean opinionated introduction to scientific representation /
by:
(Electronic resources)
Logic, rationality, and interaction7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /
by:
(Electronic resources)
Incompleteness for higher-order arithmetican example based on Harrington's principle /
by:
(Electronic resources)
Applications of mathematics and informatics in natural sciences and engineeringAMINSE 2019, Tbilisi, Georgia, September 23-26 /
by:
(Electronic resources)
Finite athematics as the foundation of classical mathematics and quantum theorywith applications to gravity and particle theory /
by:
(Electronic resources)
Ludwig Wittgensteindictating philosophy : to Francis Skinner : the Wittgenstein-Skinner manuscripts /
by:
(Electronic resources)
Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic /
by:
(Electronic resources)
Mathematics, logic, and their philosophiesessays in honour of Mohammad Ardeshir /
by:
(Electronic resources)
Awareness in logic and epistemologya conceptual schema and logical study of the underlying main epistemic concepts /
by:
(Electronic resources)
Thinking programslogical modeling and reasoning about languages, data, computations, and executions /
by:
(Electronic resources)
Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings /
by:
(Electronic resources)
Formal methods teaching4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings /
by:
(Electronic resources)
Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
by:
(Electronic resources)
Essential mathematics for undergraduatesa guided approach to algebra, geometry, topology and analysis /
by:
(Electronic resources)
Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings /
by:
(Electronic resources)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(Electronic resources)
Logic and implicationan introduction to the general algebraic study of non-classical logics /
by:
(Electronic resources)
Motion and genetic definitions in the Sixteenth-Century Euclidean tradition
by:
(Electronic resources)
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
by:
(Electronic resources)
Logical foundations of computer scienceinternational symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings /
by:
(Electronic resources)
Reasoning web. declarative artificial intelligence17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021 : tutorial lectures /
by:
(Electronic resources)
Model validation and uncertainty quantification.proceedings of the 39th IMAC, a conference and exposition on structural dynamics 2021 /Volume 3
by:
(Electronic resources)
Chapters from Godel's unfinished book on foundational research in mathematics
by:
(Electronic resources)
Objects, structures, and logicsFilMat studies in the philosophy of mathematics /
by:
(Electronic resources)
Logic without gaps or glutshow to solve the paradoxes without sacrificing classical logic /
by:
(Electronic resources)
The exoteric square of oppositionthe sixth World Congress on the Square of Opposition /
by:
(Electronic resources)
Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology /
by:
(Electronic resources)
Logic in questiontalks from the Annual Sorbonne Logic Workshop (2011- 2019) /
by:
(Electronic resources)
Diagrams, visual imagination, and continuity in Peirce's philosophy of mathematics
by:
(Electronic resources)
Practical aspects of declarative languages25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
(Electronic resources)
Dynamic logic : new trends and applications4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /
by:
(Electronic resources)
Logic and its applications10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings /
by:
(Electronic resources)
Dynamics in logic and languagethird Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022 : revised selected papers /
by:
(Electronic resources)
Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
by:
(Electronic resources)
Concrete abstractionsformalizing and analyzing discrete theories and algorithms with the RISCAL model checker /
by:
(Electronic resources)
Simple type theorya practical logic for expressing and reasoning about mathematical ideas /
by:
(Electronic resources)
Prawitz's epistemic groundingan investigation into the power of deduction /
by:
(Electronic resources)
Show more
Fewer
Subjects