Authors: Kapetanović, Miodrag 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: On two Classical Results in the First Order Logic
Journal: Publications de l'Institut Mathématique
First page: 21
Last page: 24
Issue Date: 2004
Rank: M24
URL: http://elib.mi.sanu.ac.rs/files/journals/publ/96/n090p021.pdf
Abstract: 
A common core of proofs of the classical consistency theorem of Hilbert and Ackermann and Herbrand’s theorem concerning validity of existential formulas is extracted.
Publisher: Mathematical Institute of the Serbian Academy of Sciences and Arts

Show full item record

Page view(s)

21
checked on Dec 4, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.