Mathematical Logic and Foundations.

Algorithms in Invariant Theory by: (Electronic resources)

New Developments in Formal Languages and Applications 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)

Combinatorics and graph theor 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)

Proof theorythe first step into impredicativity / by: (Electronic resources)

Introduction to boolean algebras by: (Electronic resources)

Mathematical Olympiad challenges by: (Electronic resources)

Logicism, intuitionism, and formalismwhat has become of them? / by: (Electronic resources)

Proof theory for fuzzy logics by: (Electronic resources)

Gamesunifying logic, language, and philosophy / by: (Electronic resources)

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Electronic resources)

Logic and integer programming by: (Electronic resources)

Formal theories of informationfrom Shannon to semantic information theory and general concepts of information / by: (Electronic resources)

A missing link in cyberneticslogic and continuity / 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)

Handbook of weighted automata 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)

Algorithmic compositionparadigms of automated music generation / by: (Electronic resources)

Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (Electronic resources)

Logic for computer scientists by: (Electronic resources)

Indiscrete thoughts by: (Electronic resources)

Dude, can you count?Stories, Challenges, and Adventures in Mathematics / by: (Electronic resources)

Collected works.gesammelte Werke.Volume I,Set theory, miscellanea by: (Electronic resources)

Cardinal invariants on Boolean algebras by: (Electronic resources)

Recasting realityWolfgang Pauli's philosophical ideas and contemporary science / by: (Electronic resources)

Generalized measure theory by: (Electronic resources)

Ultimate explanations of the universe by: (Electronic resources)

Cognitive reasoninga formal approach / by: (Electronic resources)

Mathematical logicfoundations for information science / by: (Electronic resources)

Logical tools for handling change in agent-based systems by: (Electronic resources)

Logic and philosophy of mathematics in the early Husserl by: (Electronic resources)

A course in mathematical logic for mathematicians by: (Electronic resources)

A concise introduction to mathematical logic by: (Electronic resources)

Handbook of set theory by: (Electronic resources)

Natural deduction, hybrid systems and modal logics by: (Electronic resources)

Banach spaces and descriptive set theoryselected topics / by: (Electronic resources)

The P=NP question and Godel's lost letter by: (Electronic resources)

Additive number theoryfestschrift in honor of the sixtieth birthday of Melvyn B. Nathanson / by: (Electronic resources)

More sets, graphs and numbersa salute to Vera Sos and Andras Hajnal / by: (Electronic resources)

Mathematical livesprotagonists of the twentieth century from Hilbert to Wiles / by: (Electronic resources)

Hybrid logic and its proof-theory by: (Electronic resources)

Methods of cut-elimination 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)

Foundational theories of classical and constructive mathematics by: (Electronic resources)

Games, norms and reasonslogic at the crossroads / by: (Electronic resources)

Proof, computation and agencylogic at the crossroads / 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)

The proof is in the puddingthe changing nature of mathematical proof / by: (Electronic resources)

Hyperfinite dirichlet forms and stochastic processes 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)

Treatise on intuitionistic type theory by: (Electronic resources)

Advanced Lukasiewicz calculus and MV-algebras by: (Electronic resources)

Reading, writing, and provinga closer look at mathematics / by: (Electronic resources)

Logic and games on automatic structuresplaying with quantifiers and decompositions / by: (Electronic resources)

Strict finitism and the logic of mathematical applications by: (Electronic resources)

From objects to diagrams for ranges of functors by: (Electronic resources)

The selected correspondence of L.E.J. Brouwer by: (Electronic resources)

Conditionals and modularity in general logics 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)

Apartness and uniformitya constructive development / by: (Electronic resources)

Logic, rationality, and interactionthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Electronic resources)

Dual tableauxfoundations, methodology, case studies / by: (Electronic resources)

A beginner's guide to discrete mathematics by: (Electronic resources)

The mathematical experience by: (Electronic resources)

Combinatorial set theorywith a gentle introduction to forcing / by: (Electronic resources)

Excursions in the history of mathematics by: (Electronic resources)

Foundations of algebraic specification and formal software development 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)

Logica brief course / by: (Electronic resources)

On intuitionistic fuzzy sets theory by: (Electronic resources)

A beginner's guide to finite mathematicsfor business, management, and the social sciences / by: (Electronic resources)

Sparsitygraphs, structures, and algorithms / 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)

Around and beyond the square of opposition 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)

Mathematical logic for computer science by: (Electronic resources)

Introduction to mathematical structures and proofs by: (Electronic resources)

Epistemology versus ontologyessays on the philosophy and foundations of mathematics in honour of Per Martin-Lof / by: (Electronic resources)

Mathematics of discrete structures for computer science by: (Electronic resources)

A logical introduction to proof by: (Electronic resources)

Lecture notes on O-minimal structures and real analytic geometry by: (Electronic resources)

The complexity of valued constraint satisfaction problems by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Proofs and fundamentalsa first course in abstract mathematics / by: (Electronic resources)

Non-commutative multiple-valued logic algebras by: (Electronic resources)

Leniewski's systems of logic and foundations of mathematics by: (Electronic resources)

Axiomatic method and category theory by: (Electronic resources)

Where is the Godel-point hidingGentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (Electronic resources)

Pluralism in mathematicsa new position in philosophy of mathematics / by: (Electronic resources)

Kripke's worldsan introduction to modal logics via Tableaux / by: (Electronic resources)

Explaining beauty in mathematicsan aesthetic theory of mathematics / by: (Electronic resources)

David Makinson on classical methods for non-classical problems by: (Electronic resources)

Set theorywith an introduction to real point sets / by: (Electronic resources)

Recent progress in general topology III by: (Electronic resources)

Cardinal invariants on Boolean algebras by: (Electronic resources)

Scientific objectivity and its contexts by: (Electronic resources)

Advances in natural deductiona celebration in Dag Prawitz's work / by: (Electronic resources)

Janus-Faced Probability by: (Electronic resources)

Recent trends in philosophical logic by: (Electronic resources)

A mathematical prelude to the philosophy of mathematics by: (Electronic resources)

Set theoryexploring independence and truth / by: (Electronic resources)

Mereology and the sciencesparts and wholes in the contemporary scientific context / by: (Electronic resources)

A Cp-theory problem bookspecial features of function spaces / 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)

Duality theories for Boolean algebras with operators by: (Electronic resources)

Johan van Benthem on logic and information dynamics by: (Electronic resources)

Constructivity and computability in historical and philosophical perspective by: (Electronic resources)

Alfred Tarskiearly work in Poland : geometry and teaching / by: (Electronic resources)

The philosophy of mathematics and logic in the 1920s and 1930s in Poland by: (Electronic resources)

Model theory in algebra, analysis and arithmeticCetraro, Italy 2012 / by: (Language materials, printed)

Combinatorial algebrasyntax and semantics / by: (Electronic resources)

The life and work of Leon Henkinessays on his contributions / by: (Electronic resources)

Pell and Pell-Lucas numbers with applications by: (Electronic resources)

Basic real analysis by: (Electronic resources)

Mathematical logicfoundations for information science / by: (Electronic resources)

Petr Hajek on mathematical fuzzy logic by: (Electronic resources)

The road to universal logicFestschrift for 50th Birthday of Jean-Yves Beziau.Volume I / by: (Electronic resources)

Essays on Godel's reception of Leibniz, Husserl, and Brouwer by: (Electronic resources)

From logic to practiceItalian studies in the philosophy of mathematics / by: (Electronic resources)

Dag Prawitz on proofs and meaning by: (Electronic resources)

Problems and proofs in numbers and algebra 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)

Freedom and enforcement in actiona study in formal action theory / 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)

Computational complexity of solving equation systems by: (Electronic resources)

One hundred prisoners and a light bulb by: (Electronic resources)

Ernst Zermeloan approach to his life and work / by: (Electronic resources)

Nonstandard analysis for the working mathematician by: (Electronic resources)

Introduction to concurrency theorytransition systems and CCS / by: (Electronic resources)

Special topics in mathematics for computer scientistssets, categories, topologies and measures / by: (Electronic resources)

Petri net synthesis 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)

Recent developments in the philosophy of scienceEPSA13 Helsinki / by: (Electronic resources)

Logic, mathematics, and computer sciencemodern foundations with practical applications / by: (Electronic resources)

Gentzen's centenarythe quest for consistency / by: (Electronic resources)

Towards an arithmetical logicthe arithmetical foundations of logic / 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)

Turing's revolutionthe impact of his ideas about computability / by: (Electronic resources)

New directions in paraconsistent logic5th WCP, Kolkata, India, February 2014 / by: (Electronic resources)

Advances in proof-theoretic semantics 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)

Philosophy of science for scientists by: (Electronic resources)

On logical, algebraic, and probabilistic aspects of fuzzy set theory by: (Electronic resources)

Models and inferences in science by: (Electronic resources)

Trick or truth?the mysterious connection between physics and mathematics / by: (Electronic resources)

J. Michael Dunn on information based logics by: (Electronic resources)

Modern logic 1850-1950, East and West by: (Electronic resources)

Advances in proof theory by: (Electronic resources)

Ordered setsan introduction with connections from combinatorics to topology / by: (Electronic resources)

Writing proofs in analysis by: (Electronic resources)

Turing computabilitytheory and applications / by: (Electronic resources)

Dependence logictheory and applications / by: (Electronic resources)

The congruences of a finite latticea "Proof-by-Picture" approach / by: (Electronic resources)

Finitely supported mathematicsan introduction / by: (Electronic resources)

Towards paraconsistent engineering 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)

Number theoryan introduction via the density of primes / by: (Electronic resources)

Probability logicsprobability-based formalization of uncertain reasoning / by: (Electronic resources)

A new perspective on nonmonotonic logics by: (Electronic resources)

Logical studies of paraconsistent reasoning in science and mathematics by: (Electronic resources)

Martin Davis on computability, computational logic, and mathematical foundations by: (Electronic resources)

Intuitionistic fuzzy logics by: (Electronic resources)

Causal nets, interventionism, and mechanismsphilosophical foundations and applications / by: (Electronic resources)

Meaning in dialoguean interactive approach to logic and reasoning / by: (Electronic resources)

Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics / by: (Electronic resources)

The square of oppositiona cornerstone of hought / by: (Electronic resources)

Rohit Parikh on logic, language and society 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)

The incomputablejourneys beyond the Turing barrier / by: (Electronic resources)

Springer handbook of model-based science by: (Electronic resources)

On the Logosa naive view on ordinary reasoning and fuzzy logic / by: (Electronic resources)

Fading foundationsprobability and the regress problem / by: (Electronic resources)

Harmonies of disorderNorbert Wiener: a mathematician-philosopher of our time / by: (Electronic resources)

Introduction to relation algebrasrelation algebras.Volume 1 / by: (Electronic resources)

Advanced topics in relation algebrasrelation algebras.Volume 2 / by: (Electronic resources)

Theories of the logos by: (Electronic resources)

A course on basic model theory by: (Electronic resources)

God and abstract objectsthe coherence of theism : aseity / by: (Electronic resources)

Descriptor revisionbelief change through direct choice / by: (Electronic resources)

The logical legacy of Nikolai Vasiliev and modern logic by: (Electronic resources)

Neighborhood semantics for modal logic 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)

Combinatorial set theorywith a gentle introduction to forcing / by: (Electronic resources)

Simple relation algebras by: (Electronic resources)

Raymond Smullyan on self reference by: (Electronic resources)

Feferman on foundationslogic, mathematics, philosophy / by: (Electronic resources)

The Hyperuniverse project and maximality by: (Electronic resources)

New essays on Fregebetween science and literature / by: (Electronic resources)

Building theoriesheuristics and hypotheses in sciences / by: (Electronic resources)

Larisa Maksimova on implication, interpolation, and definability by: (Electronic resources)

An introduction to the technique of formative processes in set theory 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)

Jaakko Hintikka on knowledge and game-theoretical semantics by: (Electronic resources)

Intuitionistic proof versus classical truththe role of Brouwer's creative subject in intuitionistic mathematics / by: (Electronic resources)

Structures and algorithmsmathematics and the nature of knowledge / by: (Electronic resources)

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science by: (Electronic resources)

Handbook of model checking by: (Electronic resources)

A history of folding in mathematicsmathematizing the margins / by: (Electronic resources)

Relational topology by: (Electronic resources)

Wandering towards a goalhow can mindless mathematical laws give rise to aims and intention? / by: (Electronic resources)

The Lvov-Warsaw school, past and present by: (Electronic resources)

Logical foundations of cyber-physical systems by: (Electronic resources)

Computational artifactstowards a philosophy of computer science / by: (Electronic resources)

Methods of solving number theory problems by: (Electronic resources)

Philosophy's loss of logic to mathematicsan inadequately understood take-over / by: (Electronic resources)

Great circle of mysteriesmathematics, the world, the mind / by: (Electronic resources)

The philosophers and mathematicsfestschrift for Roshdi Rashed / by: (Electronic resources)

Immanent reasoning or equality in actiona plaidoyer for the play level / by: (Electronic resources)

Mathematical logicon numbers, sets, structures, and symmetry / 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)

Logics for computer scienceclassical and non-classical / by: (Electronic resources)

Contradictions, from consistency to inconsistency by: (Electronic resources)

Scientific philosophy by: (Electronic resources)

Introduction to formal philosophy by: (Electronic resources)

Truth-seeking by abduction by: (Electronic resources)

Quantum computation and logichow quantum computers have inspired logical investigations / by: (Electronic resources)

Fuzzy lie algebras by: (Electronic resources)

Hilary Putnam on logic and mathematics by: (Electronic resources)

Ewa Orlowska on relational methods in logic and computer science by: (Electronic resources)

Logica.Volume 2,Incompletezza, teoria assiomatica degli insiemi by: (Electronic resources)

Ludwig Wittgenstein's philosophical investigationsan Attempt at a Critical Rationalist Appraisal / by: (Electronic resources)

Philosophical and mathematical logic by: (Electronic resources)

Exploring Meinong's jungle and beyondthe Sylvan jungle.Volume 1 / by: (Electronic resources)

Contextualism, factivity and closurean union that should not take place? / by: (Electronic resources)

Temporal type theorya topos-theoretic approach to systems and behavior / by: (Electronic resources)

What is fundamental? by: (Electronic resources)

Logic functions and equationsbinary models for computer science / by: (Electronic resources)

Mathematics, informatics, and their applications in natural sciences and engineeringAMINSE 2017, Tbilisi, Georgia, December 6-9 / by: (Electronic resources)

Nonstandard methods in Ramsey theory and combinatorial number theory by: (Electronic resources)

Ultralogic as universal?the Sylvan jungle.Volume 4 / by: (Electronic resources)

Conceptual spaceselaborations and applications / by: (Electronic resources)

Heyting algebrasduality theory / by: (Electronic resources)

Proof theory and algebra in logic by: (Electronic resources)

Theory of graded consequencea general framework for logics of uncertainty / by: (Electronic resources)

A model-theoretic approach to proof theory by: (Electronic resources)

Mathesis universalis, computability and proof 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)

Introduction to discrete mathematics via logic and proof 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)

Combinatorial set theory of C*-algebras by: (Electronic resources)

Laws and explanationstheories and modal possibilities / by: (Electronic resources)

Leibniz and the structure of sciencesmodern perspectives on the history of logic, mathematics, epistemology / by: (Electronic resources)

Semantics and truth by: (Electronic resources)

Graham Priest on dialetheism and paraconsistency by: (Electronic resources)

New essays on Belnap-Dunn logic by: (Electronic resources)

Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / by: (Electronic resources)

Quantum, probability, logicthe work and influence of Itamar Pitowsky / 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)

Diagonalization in formal mathematics 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)

Geometry by: (Electronic resources)

Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings / by: (Electronic resources)

Sets, logic and maths for computing by: (Electronic resources)

Probabilistic extensions of various logical systems 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)

The legacy of Kurt Schutte 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)

Decidability of logical theories and their combination by: (Electronic resources)

An invitation to abstract mathematics by: (Electronic resources)

Godel's theorems and Zermelo's axiomsa firm foundation of mathematics / by: (Electronic resources)

The foundations of computability theory 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)

Noneist explorations.II,The Sylvan jungle. by: (Electronic resources)

Ludwig Wittgensteindictating philosophy : to Francis Skinner : the Wittgenstein-Skinner manuscripts / by: (Electronic resources)

Problem solving in operation management by: (Electronic resources)

Biological models via interval type-2 fuzzy sets by: (Electronic resources)

Fuzzy logicrecent applications and developments / by: (Electronic resources)

Theoremusa student's guide to mathematical proofs / by: (Electronic resources)

Lessons in enumerative combinatorics by: (Electronic resources)

Mathematical logic by: (Electronic resources)

Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic / by: (Electronic resources)

The legacy of Mario Pieri in foundations and philosophy of mathematics by: (Electronic resources)

Joachim Lambekthe interplay of mathematics, logic, and linguistics / by: (Electronic resources)

Real analysisfoundations / by: (Electronic resources)

Mathematics, logic, and their philosophiesessays in honour of Mohammad Ardeshir / by: (Electronic resources)

Handbook of computability and complexity in analysis by: (Electronic resources)

Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (Electronic resources)

Awareness in logic and epistemologya conceptual schema and logical study of the underlying main epistemic concepts / by: (Electronic resources)

Pythagorean fuzzy setstheory and applications / by: (Electronic resources)

Arnon Avron on semantics and proof theory of non-classical logics by: (Electronic resources)

Quaternions for computer graphics by: (Electronic resources)

Undecidability, uncomputability, and unpredictability by: (Electronic resources)

Top-down causation and emergence by: (Electronic resources)

Paul Lorenzen - mathematician and logician by: (Electronic resources)

Thinking programslogical modeling and reasoning about languages, data, computations, and executions / by: (Electronic resources)

Modelling puzzles in first order logic by: (Electronic resources)

R-CALCULUSa logic of belief revision / 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)

Founding mathematics on semantic conventions 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)

Hiroakira Ono on substructural logics by: (Electronic resources)

On Hilbert's sixth problem by: (Electronic resources)

Wittgenstein's on certaintyinsight and method / by: (Electronic resources)

R-calculus.II,Many-valued logics by: (Electronic resources)

Chapters from Godel's unfinished book on foundational research in mathematics by: (Electronic resources)

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / 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)

Artificial intelligence versus natural intelligence by: (Electronic resources)

Cherlin's conjecture for finite primitive binary permutation groups by: (Electronic resources)

Runtime verificationa hands-on approach in Java / by: (Electronic resources)

Reverse mathematicsproblems, reductions, and proofs / by: (Electronic resources)

The logical writings of Karl Popper by: (Electronic resources)

Ernst Schröder on algebra and logic by: (Electronic resources)

The exoteric square of oppositionthe sixth World Congress on the Square of Opposition / by: (Electronic resources)

A.P. Morse's set theory and analysis by: (Electronic resources)

Kurt Gödelthe genius of metamathematics / by: (Electronic resources)

Axiomatic thinking.II by: (Electronic resources)

Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology / by: (Electronic resources)

Essays in constructive mathematics by: (Electronic resources)

A protocol-theoretic framework for the logic of epistemic norms by: (Electronic resources)

Axiomatic thinking.I by: (Electronic resources)

Universal algebraic logicdedicated to the unity of science / by: (Electronic resources)

Logic in questiontalks from the Annual Sorbonne Logic Workshop (2011- 2019) / by: (Electronic resources)

Inquisitive logicconsequence and inference in the realm of questions / 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)

Understanding behaviour of distributed systems using mCRL2 by: (Electronic resources)

The priority of propositionsa pragmatist philosophy of logic / by: (Electronic resources)

R-calculus.IV,Propositional logic by: (Electronic resources)

Semantic intelligenceselect proceedings of ISIC 2022 / by: (Electronic resources)

Concrete abstractionsformalizing and analyzing discrete theories and algorithms with the RISCAL model checker / by: (Electronic resources)

The mathematical representation of physical reality 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)

Philosophy of mathematics in antiquity and in modern times by: (Electronic resources)

Field arithmetic by: (Electronic resources)

Kurt Gödelresults on foundations / by: (Electronic resources)

Diagrams and gesturesmathematics, philosophy, and linguistics / by: (Electronic resources)

First-order modal logic by: (Electronic resources)

Advances in brain inspired cognitive systems13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023 : proceedings / by: (Electronic resources)

An invitation to mathematical logic by: (Electronic resources)

Robert Rosen and relational system theoryan overview / by: (Electronic resources)

Themes from Weira celebration of the philosophy of Alan Weir / by: (Electronic resources)

R-calculus.V,Description logics by: (Electronic resources)

Dynamic logicnew trends and applications : 5th International Workshops, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023 : revised selected papers / by: (Electronic resources)

Peter Schroeder-Heister on proof-theoretic semantics by: (Electronic resources)

Human and artificial rationalitiessecond International Conference, HAR 2023, Paris, France, September 19-22, 2023 : proceedings / by: (Electronic resources)

From computational logic to computational biologyessays dedicated to Alfredo Ferro to celebrate his scientific career / by: (Electronic resources)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (Electronic resources)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (Electronic resources)

The new mathematical coloring bookmathematics of coloring and the colorful life of its creators / by: (Electronic resources)

Harmony and paradoxintensional aspects of proof-theoretic semantics / by: (Electronic resources)

Handbook of the history and philosophy of mathematical practice by: (Electronic resources)

Janusz Czelakowski on logical consequence by: (Electronic resources)

Perspectives on deductioncontemporary studies in the philosophy, history and formal theories of deduction / by: (Electronic resources)

Mathematical logicon numbers, sets, structures, and symmetry / by: (Electronic resources)

Robust argumentation machinesfirst International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings / by: (Electronic resources)

Coalgebraic methods in computer science17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / by: (Electronic resources)

Dick de jongh on intuitionistic and provability logics by: (Electronic resources)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (Electronic resources)

Introduction to incompletenessfrom Gödel's theorems to forcing and the continuum hypothesis / by: (Electronic resources)

Gödel's incompleteness theoremsa guided tour through Kurt Gödel's historic proof / by: (Electronic resources)

Arbitrary reference in logic and mathematics by: (Electronic resources)

Quantum mechanics and avant-garde musicshadows of the void / by: (Electronic resources)

Saul Kripke on modal logic by: (Electronic resources)

The forcing method in set theoryan introduction via Boolean valued logic / by: (Electronic resources)

Paradoxes between truth and proof by: (Electronic resources)

An introduction to naïve set theory and its applications by: (Electronic resources)

Arithmetic and algebraic geometrya mathematical tribute to Yuri Manin / by: (Electronic resources)

The logic, philosophy, and history of the lambda-calculustheory and applications / by: (Electronic resources)

Simple type theorya practical logic for expressing and reasoning about mathematical ideas / by: (Electronic resources)

The connectives in logic and language4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024 : revised selected papers / by: (Electronic resources)

Foundations of software science and computation structures28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (Electronic resources)

Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / by: (Electronic resources)

Gödel's theorems and Zermelo's axiomsa firm foundation of mathematics / by: (Electronic resources)

Combinatorial set theorywith a gentle introduction to forcing / by: (Electronic resources)

R-calculus, VIfinite injury priority method / by: (Electronic resources)

Advances in brain inspired cognitive systems14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024 : proceedings.Part I / by: (Electronic resources)

Advances in brain inspired cognitive systems14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024 : proceedings.Part II / by: (Electronic resources)

Human and artificial rationalitiesadvances in cognition, computation, and consciousness : third International Conference, HAR 2024, Paris, France, September 17-20, 2024 : proceedings / by: (Electronic resources)

The mathematical and philosophical legacy of Alexander Grothendieck by: (Electronic resources)

New directions in relevant logic by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Crossroads of computability and logicinsights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings / by: (Electronic resources)

The method of Socratic proofsfrom the logic of questions to proof theory / by: (Electronic resources)

Model theory, computer science, and graph polynomialsfestschrift in honor of Johann A. Makowsky / by: (Electronic resources)

Ideals, varieties, and algorithmsan introduction to computational algebraic geometry and commutative algebra / by: (Electronic resources)

Scientific cognition, semiotics, and computational agentsessays in honor of Lorenzo Magnani.Volume 2 / by: (Electronic resources)