Mathematical Logic and Foundations.
概要
| 作品: | 518 作品在 197 項出版品 197 種語言 | |
|---|---|---|
書目資訊
Gödel's incompleteness theorems = a guided tour through Kurt Gödel's historic proof /
by:
(書目-語言資料,印刷品)
Introduction to incompleteness = from Gödel's theorems to forcing and the continuum hypothesis /
by:
(書目-語言資料,印刷品)
Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Robust argumentation machines = first International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Logic Without Gaps or Gluts = How to Solve the Paradoxes Without Sacrificing Classical Logic /
by:
(書目-語言資料,印刷品)
Reasoning Web. Declarative Artificial Intelligence = 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Ein strukturorientierter Aufbau der klassischen Zahlenbereiche = mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Objects, Structures, and Logics = FilMat Studies in the Philosophy of Mathematics /
by:
(書目-語言資料,印刷品)
Mathematische Geschichten V – Binome, Ungleichungen und Beweise = Für begabte Schülerinnen und Schüler in der Mittelstufe /
by:
(書目-語言資料,印刷品)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(書目-語言資料,印刷品)
Mathematische Geschichten VI – Kombinatorik, Polynome und Beweise = Für begabte Schülerinnen und Schüler in der Mittelstufe /
by:
(書目-語言資料,印刷品)
The Exoteric Square of Opposition = The Sixth World Congress on the Square of Opposition /
by:
(書目-語言資料,印刷品)
Essential Mathematics for Undergraduates = A Guided Approach to Algebra, Geometry, Topology and Analysis /
by:
(書目-語言資料,印刷品)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(書目-語言資料,印刷品)
Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics /
by:
(書目-語言資料,印刷品)
Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Mathematische Geschichten IV – Euklidischer Algorithmus, Modulo-Rechnung und Beweise = Für begabte Schülerinnen und Schüler in der Unterstufe /
by:
(書目-語言資料,印刷品)
Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung = Struktur - Funktion - Zahl /
by:
(書目-語言資料,印刷品)
Ludwig Wittgenstein: Dictating Philosophy = To Francis Skinner – The Wittgenstein-Skinner Manuscripts /
by:
(書目-語言資料,印刷品)
Applications of Mathematics and Informatics in Natural Sciences and Engineering = AMINSE 2019, Tbilisi, Georgia, September 23-26 /
by:
(書目-語言資料,印刷品)
Can Mathematics Be Proved Consistent? = Gödel's Shorthand Notes & Lectures on Incompleteness /
by:
(書目-語言資料,印刷品)
WITTGENSTEINIAN (adj.) = Looking at the World from the Viewpoint of Wittgenstein's Philosophy /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory = With Applications to Gravity and Particle Theory /
by:
(書目-語言資料,印刷品)
Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /
by:
(書目-語言資料,印刷品)
Solving Problems in Mathematical Analysis, Part I = Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series /
by:
(書目-語言資料,印刷品)
Sichtweisen von Sechstklässlern auf multiplikative Strukturen im Sinne eines Bausteinkonzepts = Eine qualitativ-empirische Studie /
by:
(書目-語言資料,印刷品)
Nonclassical Logics and Their Applications = Post-proceedings of the 8th International Workshop on Logic and Cognition /
by:
(書目-語言資料,印刷品)
The Panenmentalist Philosophy of Science = From the Recognition of Individual Pure Possibilities to Actual Discoveries /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Selected Topics in Probabilistic Safety Assessment = Methodology and Practice in Nuclear Power Plants /
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:
(書目-語言資料,印刷品)
Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler /
by:
(書目-語言資料,印刷品)
Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language /
by:
(書目-語言資料,印刷品)
Mathematical lives = protagonists of the twentieth century from Hilbert to Wiles /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(書目-語言資料,印刷品)
From boolean logic to switching circuits and automata = towards modern information technology /
by:
(書目-語言資料,印刷品)
Logic, mathematics, philosophy, vintage enthusiasms = essays in honour of John L. Bell /
by:
(書目-語言資料,印刷品)
The Colorado Mathematical Olympiad and further explorations = from the mountains of Colorado to the peaks of mathematics /
by:
(書目-語言資料,印刷品)
Logic and games on automatic structures = playing with quantifiers and decompositions /
by:
(書目-語言資料,印刷品)
Tools for teaching logic = third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Recasting reality = Wolfgang Pauli's philosophical ideas and contemporary science /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Constructive commutative algebra = projective modules over polynomial rings and dynamical Gröbner bases /
by:
(書目-語言資料,印刷品)
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, mathematics, and computer science = modern foundations with practical applications /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
by:
(書目-語言資料,印刷品)
From linear operators to computational biology = essays in memory of Jacob T. Schwartz /
by:
(書目-語言資料,印刷品)
Logical thinking in the pyramidal schema of concepts = the logical and mathematical elements /
by:
(書目-語言資料,印刷品)
L.E.J. Brouwer = topologist, intuitionist, philosopher : how mathematics is rooted in life /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logical foundations of mathematics and computational complexity = a gentle introduction /
by:
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Epistemology versus ontology = essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof /
by:
(書目-語言資料,印刷品)
Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(書目-語言資料,印刷品)
The logic of categorial grammars = a deductive account of natural language syntax and semantics /
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:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
A beginner's guide to finite mathematics = for business, management, and the social sciences /
by:
(書目-語言資料,印刷品)
From a geometrical point of view = a study of the history and philosophy of category theory /
by:
(書目-語言資料,印刷品)
The mathematical coloring book = mathematics of coloring and the colorful life of its creators /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Where is the Godel-point hiding = Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(書目-語言資料,印刷品)
The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I /
by:
(書目-語言資料,印刷品)
Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(書目-語言資料,印刷品)
Objectivity, realism, and proof = FilMat studies in the philosophy of mathematics /
by:
(書目-語言資料,印刷品)
Cultures of mathematics and logic = selected papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(書目-語言資料,印刷品)
The Colorado Mathematical Olympiad = the third decade and further explorations : from the mountains of Colorado to the peaks of mathematics /
by:
(書目-語言資料,印刷品)
Wandering towards a goal = how can mindless mathematical laws give rise to aims and intention? /
by:
(書目-語言資料,印刷品)
Philosophy's loss of logic to mathematics = an inadequately understood take-over /
by:
(書目-語言資料,印刷品)
Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties
by:
(書目-語言資料,印刷品)
Ludwig Wittgenstein's philosophical investigations = an Attempt at a Critical Rationalist Appraisal /
by:
(書目-語言資料,印刷品)
Quantum computation and logic = how quantum computers have inspired logical investigations /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Causal nets, interventionism, and mechanisms = philosophical foundations and applications /
by:
(書目-語言資料,印刷品)
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 /
by:
(書目-語言資料,印刷品)
The Road to Universal Logic = Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /
by:
(書目-語言資料,印刷品)
Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
by:
(書目-語言資料,印刷品)
Ideals, Varieties, and Algorithms = An Introduction to Computational Algebraic Geometry and Commutative Algebra /
by:
(書目-語言資料,印刷品)
Logic, Mathematics, and Computer Science = Modern Foundations with Practical Applications /
by:
(書目-語言資料,印刷品)
Special Topics in Mathematics for Computer Scientists = Sets, Categories, Topologies and Measures /
by:
(書目-語言資料,印刷品)
Quantum Physics, Fuzzy Sets and Logic = Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
by:
(書目-語言資料,印刷品)
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
by:
(書目-語言資料,印刷品)
The Road to Universal Logic = Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
by:
(書目-語言資料,印刷品)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Der Untergang von Mathemagika = Ein Roman über eine Welt jenseits unserer Vorstellung /
by:
(書目-語言資料,印刷品)
The Unknown as an Engine for Science = An Essay on the Definite and the Indefinite /
by:
(書目-語言資料,印刷品)
Cultures of Mathematics and Logic = Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(書目-語言資料,印刷品)
Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Awareness in Logic and Epistemology = A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic /
by:
(書目-語言資料,印刷品)
Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /
by:
(書目-語言資料,印刷品)
Mathematische Geschichten III – Eulerscher Polyedersatz, Schubfachprinzip und Beweise = Für begabte Schülerinnen und Schüler in der Unterstufe /
by:
(書目-語言資料,印刷品)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
by:
(書目-語言資料,印刷品)
Structural Analysis of Non-Classical Logics = The Proceedings of the Second Taiwan Philosophical Logic Colloquium /
by:
(書目-語言資料,印刷品)
Objectivity, Realism, and Proof = FilMat Studies in the Philosophy of Mathematics /
by:
(書目-語言資料,印刷品)
Ludwig Wittgenstein’s Philosophical Investigations = An Attempt at a Critical Rationalist Appraisal /
by:
(書目-語言資料,印刷品)
Intuitionistic Proof Versus Classical Truth = The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
by:
(書目-語言資料,印刷品)
Formal Methods for Nonmonotonic and Related Logics = Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
by:
(書目-語言資料,印刷品)
The Map and the Territory = Exploring the Foundations of Science, Thought and Reality /
by:
(書目-語言資料,印刷品)
Quantum Computation and Logic = How Quantum Computers Have Inspired Logical Investigations /
by:
(書目-語言資料,印刷品)
Denken in Strukturen und seine Geschichte = Von der Kraft des mathematischen Beweises /
by:
(書目-語言資料,印刷品)
Zur Philosophie der Mathematik = Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze /
by:
(書目-語言資料,印刷品)
Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik /
by:
(書目-語言資料,印刷品)
Wandering Towards a Goal = How Can Mindless Mathematical Laws Give Rise to Aims and Intention? /
by:
(書目-語言資料,印刷品)
Gottlob Frege = Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens /
by:
(書目-語言資料,印刷品)
Artificial Adaptive Systems Using Auto Contractive Maps = Theory, Applications and Extensions /
by:
(書目-語言資料,印刷品)
Philosophy's Loss of Logic to Mathematics = An Inadequately Understood Take-Over /
by:
(書目-語言資料,印刷品)
Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering = AMINSE 2017, Tbilisi, Georgia, December 6-9 /
by:
(書目-語言資料,印刷品)
Parameterized Complexity in the Polynomial Hierarchy = Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Leibniz and the Structure of Sciences = Modern Perspectives on the History of Logic, Mathematics, Epistemology /
by:
(書目-語言資料,印刷品)
Incompleteness for Higher-Order Arithmetic = An Example Based on Harrington’s Principle /
by:
(書目-語言資料,印刷品)
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
(書目-語言資料,印刷品)
更多
較少的
主題