|
Twitter
|
Facebook
|
Google+
|
VKontakte
|
LinkedIn
|
Viadeo
|
English
|
Français
|
Español
|
العربية
|
 
International Journal of Innovation and Applied Studies
ISSN: 2028-9324     CODEN: IJIABO     OCLC Number: 828807274     ZDB-ID: 2703985-7
 
 
Friday 23 June 2017

About IJIAS

News

Submission

Downloads

Archives

Custom Search

Contact

Connect with IJIAS

  Now IJIAS is indexed in ResearchGate, ProQuest, Chemical Abstracts Service, Index Copernicus, IET Inspec Direct, Ulrichs Web, Google Scholar, CAS Abstracts, J-Gate, UDL Library, CiteSeerX, WorldCat, Scirus, Research Bible and getCited, etc.  
 
 
 

A.-Roger LULA BABOLE


Personal

Name A.-Roger LULA BABOLE
Affiliation Département des Mathématiques et Informatique, Université de Kinshasa, RD Congo

Documents: 6

Document title Date Issue
Le programme formaliste de David Hilbert
Author(s): A.-Roger LULA BABOLE
Show abstract   Full Text
2017 21 (1) , pp. 77-95
L’arithmétique formelle et l’incomplétude
Author(s): A.-Roger LULA BABOLE and Yves MANGONGO TINDA
Show abstract   Full Text
2017 21 (1) , pp. 96-102
L’arithmétisation et la métathéorie
Author(s): A.-Roger LULA BABOLE
Show abstract   Full Text
2017 21 (1) , pp. 103-123
Bases logiques de l’incomplétude
Author(s): A.-Roger LULA BABOLE, Alain MUSESA LANDA, and Oscar LUNGIAMBUDILA MAMONA
Show abstract   Full Text
2017 21 (1) , pp. 137-152
Incomplétude et vérité
Author(s): A.-Roger LULA BABOLE
Show abstract   Full Text
2017 21 (1) , pp. 153-160
Incomplétude et Réfutabilité
Author(s): A.-Roger LULA BABOLE
Show abstract   Full Text
2017 21 (1) , pp. 161-166