scientific article; zbMATH DE number 4154443
From MaRDI portal
Publication:3483288
Recommendations
- scientific article; zbMATH DE number 3914292
- A constructive proof of Kirszbraun's theorem
- A constructive proof of Vizing's theorem
- scientific article; zbMATH DE number 4198022
- A natural proof system for Herbrand's theorem
- On Herbrand's theorem
- scientific article; zbMATH DE number 4075219
- scientific article; zbMATH DE number 417302
- A constructive proof of Masser’s Theorem
- scientific article; zbMATH DE number 1841838
Cited in
(18)- scientific article; zbMATH DE number 1418446 (Why is no real title available?)
- On two classical results in the first order logic
- Understanding Resolution Proofs through Herbrand’s Theorem
- A herbrandized functional interpretation of classical first-order logic
- A constructive proof of the Gohberg-Semencul formula
- Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
- Herbrand's theorem and non-Euclidean geometry
- On Herbrand's theorem
- scientific article; zbMATH DE number 3914292 (Why is no real title available?)
- A note on a proof of Shepherdson
- On Herbrand’s Theorem for Intuitionistic Logic
- A constructive proof of the Chang-Marshall theorem
- scientific article; zbMATH DE number 978241 (Why is no real title available?)
- Sequent forms of Herbrand theorem and their applications
- A constructive proof of Kirszbraun's theorem
- A constructive proof of Masser’s Theorem
- On Herbrand's theorem for hybrid logic
- A natural proof system for Herbrand's theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3483288)
