Mathematical Logic and Foundations.

Laws of Nature by: (書目-電子資源)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-電子資源)

Hybrid logic and its proof-theory by: (書目-電子資源)

Proof, computation and agency = logic at the crossroads / by: (書目-電子資源)

A beginner's guide to discrete mathematics by: (書目-電子資源)

Information and Knowledge = A Constructive Type-theoretical Approach / by: (書目-電子資源)

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (書目-電子資源)

Scenario logic and probabilistic management of risk in business and engineering by: (書目-電子資源)

Mathematical logic = foundations for information science / by: (書目-電子資源)

Algorithms in Invariant Theory by: (書目-電子資源)

Cardinal invariants on Boolean algebras by: (書目-電子資源)

Discrete thoughts = essays on mathematics, science, and philosophy / by: (書目-電子資源)

Visualization, Explanation and Reasoning Styles in Mathematics by: (書目-電子資源)

On intuitionistic fuzzy sets theory by: (書目-電子資源)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (書目-電子資源)

Proofs and fundamentals = a first course in abstract mathematics / by: (書目-電子資源)

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering by: (書目-電子資源)

Combinatorial set theory = with a gentle introduction to forcing / by: (書目-電子資源)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Cognitive reasoning = a formal approach / by: (書目-電子資源)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (書目-電子資源)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Epistemology versus ontology = essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof / by: (書目-電子資源)

Mathematics of discrete structures for computer science by: (書目-電子資源)

Apartness and uniformity = a constructive development / by: (書目-電子資源)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (書目-電子資源)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-電子資源)

Handbook of set theory by: (書目-電子資源)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-電子資源)

Essays in Constructive Mathematics by: (書目-電子資源)

Logical tools for handling change in agent-based systems by: (書目-電子資源)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (書目-電子資源)

The mathematical experience by: (書目-電子資源)

A logical introduction to proof by: (書目-電子資源)

Tools for teaching logic = third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings / by: (書目-電子資源)

Advanced Lukasiewicz calculus and MV-algebras by: (書目-電子資源)

From a geometrical point of view = a study of the history and philosophy of category theory / by: (書目-電子資源)

New Developments in Formal Languages and Applications by: (書目-電子資源)

Handbook of weighted automata by: (書目-電子資源)

Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (書目-電子資源)

Propositional and Predicate Calculus A Model of Argument by: (書目-電子資源)

Deduction, computation, experiment = exploring the effectiveness of proof / by: (書目-電子資源)

A beginner's guide to finite mathematics = for business, management, and the social sciences / by: (書目-電子資源)

Indiscrete thoughts by: (書目-電子資源)

Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-電子資源)

The selected correspondence of L.E.J. Brouwer by: (書目-電子資源)

Valued Fields by: (書目-電子資源)

Recasting reality = Wolfgang Pauli's philosophical ideas and contemporary science / by: (書目-電子資源)

The mathematical coloring book = mathematics of coloring and the colorful life of its creators / by: (書目-電子資源)

Banach spaces and descriptive set theory = selected topics / by: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Around and beyond the square of opposition by: (書目-電子資源)

Guida alla teoria degli insiemi by: (書目-電子資源)

Collected works. = gesammelte Werke.. Volume I,; Band I,. Set theory, miscellanea; Mengenlehre, varia / by: (書目-電子資源)

Mathematical logic for computer science by: (書目-電子資源)

Typed lambda calculi and applications = 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (書目-電子資源)

Foundational theories of classical and constructive mathematics by: (書目-電子資源)

Proof theory = the first step into impredicativity / by: (書目-電子資源)

Trends in Continuum Mechanics of Porous Media by: (書目-電子資源)

Categories for Software Engineering by: (書目-電子資源)

Constructive Negations and Paraconsistency by: (書目-電子資源)

Rough sets and knowledge technology = 4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (書目-電子資源)

Sparsity = graphs, structures, and algorithms / by: (書目-電子資源)

A Modern Perspective on Type Theory = From its Origins until Today / by: (書目-電子資源)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (書目-電子資源)

Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler / by: (書目-電子資源)

Introduction to mathematical structures and proofs by: (書目-電子資源)

Foundations of algebraic specification and formal software development by: (書目-電子資源)

Completeness theory for propositional logics by: (書目-電子資源)

Logic, mathematics, philosophy, vintage enthusiasms = essays in honour of John L. Bell / by: (書目-電子資源)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (書目-電子資源)

Dual tableaux = foundations, methodology, case studies / by: (書目-電子資源)

A Course on Mathematical Logic by: (書目-電子資源)

Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (書目-電子資源)

Logica Universalis = Towards a General Theory of Logic / by: (書目-電子資源)

Institution-independent model theory by: (書目-電子資源)

Field arithmetic by: (書目-電子資源)

Excursions in the history of mathematics by: (書目-電子資源)

Games = unifying logic, language, and philosophy / by: (書目-電子資源)

Logic for computer scientists by: (書目-電子資源)

Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (書目-電子資源)

The proof is in the pudding = the changing nature of mathematical proof / by: (書目-電子資源)

Additive number theory = festschrift in honor of the sixtieth birthday of Melvyn B. Nathanson / by: (書目-電子資源)

Conditionals and modularity in general logics by: (書目-電子資源)

A concise introduction to mathematical logic by: (書目-電子資源)

Ultimate explanations of the universe by: (書目-電子資源)

Dude, can you count? = Stories, Challenges, and Adventures in Mathematics / by: (書目-電子資源)

Methods of cut-elimination by: (書目-電子資源)

Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / by: (書目-電子資源)

Field Arithmetic by: (書目-電子資源)

Natural deduction, hybrid systems and modal logics by: (書目-電子資源)

The Colorado Mathematical Olympiad and further explorations = from the mountains of Colorado to the peaks of mathematics / by: (書目-電子資源)

Lecture notes on O-minimal structures and real analytic geometry by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-電子資源)

Games, norms and reasons = logic at the crossroads / by: (書目-電子資源)

From boolean logic to switching circuits and automata = towards modern information technology / by: (書目-電子資源)

Generalized measure theory by: (書目-電子資源)

Logic and integer programming by: (書目-電子資源)

A missing link in cybernetics = logic and continuity / by: (書目-電子資源)

A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns / by: (書目-電子資源)

Introduction to Modern Number Theory = Fundamental Problems, Ideas and Theories / by: (書目-電子資源)

Combinatorics and graph theor by: (書目-電子資源)

From objects to diagrams for ranges of functors by: (書目-電子資源)

Strict finitism and the logic of mathematical applications by: (書目-電子資源)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (書目-電子資源)

A course in mathematical logic for mathematicians by: (書目-電子資源)

Mathematical lives = protagonists of the twentieth century from Hilbert to Wiles / by: (書目-電子資源)

Giuseppe Peano between mathematics and logic = proceeding 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: (書目-電子資源)