PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Aiello M., Weyhrauch R. Checking proofs in the metamathematics of first order logic. In: Advance Papers 4th International Joint Conference on Artificial Intelligence (Tbilisi, 1975). Proceedings, pp. 1 - 8. (The Artificial Intelligence Laboratory). 1975.
 
 
Abstract
(English)
First order theories not only can be used in proving properties of programs, but have also relevance in representation theory. The desire to represent first order theories in a computer in a feasible way requires the facility to discuss metamathematical notions.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional