The algebraic treatment of the methodology of elementary deductive systems
From MaRDI portal
(Redirected from Publication:766673)
Cites work
- A proof of the completeness theorem of Grödel
- An algebraic proof of completeness for the two-valued propositional calculus
- Completeness of the functional calculus of first order
- Grundzüge der Systemenkalküls I
- On the application of Tychonoff's theorem in mathematical proofs
- On the categoricity in power of elementary deductive systems and some related problems
- Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
- The Theory of Representation for Boolean Algebras
- The completeness of the first-order functional calculus
- Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
Cited in
(8)- Jerzy Łoś and a history of Abelian groups in Poland.
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Quasi-completeness in non-Fregean logic
- Matrix approach in methodology of sentential calculi
- On semigroups admitting ring structure
- Leon Henkin the reviewer
- An essay in the formal theory of extension and of intension
- Four studies in metamathematics
This page was built for publication: The algebraic treatment of the methodology of elementary deductive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766673)
