|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
checked on Dec 7, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.