Biblio

[ Author(Desc)] Title Type Year
Filters: Keyword is axiomatic recursion theory  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zashev J.  1998.  FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):41-50.PDF icon 90-041-050.pdf (946.7 KB)