registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Scis0000002s Kamareddine [2 articles]

Recent papers posted to Scis0000002s library by the author Kamareddine. You can also see everyones Kamareddine.
  • A reflection on Russell's ramified types and Kripke's hierarchy of truths
    (1996)
    posted to hierarchies hierarchy-of-truths by Scis0000002 on 2008-07-21 11:30:19 as **
  • A Refinement of de Bruijns Formal Language of Mathematics
    Journal of Logic, Language and Information, Vol. 13, No. 3., 287.
    posted to formal mathematics by Scis0000002 on 2007-08-18 05:53:26 as **
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/Scis0000002/author/Kamareddine

    RIS BibTeX RTF/PDF