Biblio

Author Title Type [ Year(Asc)]
Filters: Keyword is axiomatic recursion theory  [Clear All Filters]
1998
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)

© Faculty of Mathematics and Informatics