Title: Robinson Abraham. Les rapports entre le calcul déductif et l'interprétation sémantique d'un système axiomatique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 35–51.Beth E. W., Brouwer L. E. J., Robinson Abraham. Discussion. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 51–52.
Publication Year: 1955
Publication Date: 1955-06-01
Language: fr
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot