scientific article; zbMATH DE number 3060222
From MaRDI portal
zbMath0040.00402MaRDI QIDQ5799431
Wilhelm Ackermann, David Hilbert
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the Substitutional Characterization of First-Order Logical Truth, Schrödinger logics, Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, Proof by consistency, Henkin’s Theorem in Textbooks, Paraconsistent metatheory: new proofs with old tools, Discernibility by symmetries, Tarski on logical consequences, Logic for physical space. From antiquity to present day, Axiomatization of a functional logic language, An Arithmetically Complete Predicate Modal Logic, WHAT IS A RULE OF INFERENCE?, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Report: an examination of a decision procedure, Syntactical Transforms, GP’s LP, Classical logic and quantum logic with multiple and common lattice models, On Bourbaki's axiomatic system for set theory, Establishing Valid Arguments by Computer and Storing their Meanings: a Premiss of form A of Aristotelian Logic, On distance preserving transformations of Euclidean-like planes over the rational field, Universality, Invariance, and the Foundations of Computational Complexity in the Light of the Quantum Computer, From Hilbert's program to a logic tool box, A completeness theorem for theories of kind W, REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION