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