EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHEMATIQUE (BEOGRAD) (N.S.)
Vol. 76(90), pp. 21–24 (2004)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

 		 

ON TWO CLASSICAL RESULTS IN THE FIRST ORDER LOGIC

Miodrag Kapetanovic

Matematicki institut SANU, Knez Mihailova 35 Beograd, Serbia and Montenegro

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.

Classification (MSC2000): 03F05; 03F07

Full text of the article: (for faster download, first choose a mirror)

Electronic fulltext finalized on: 17 Dec 2004. This page was last modified: 9 Feb 2005.

© 2004 Mathematical Institute of the Serbian Academy of Science and Arts
© 2004–2005 ELibM for the EMIS Electronic Edition