[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] An apology



Dear All,

Please accept my apologies for sending too many emails to the group. I would like to ask you ignore my question on how to write schemes for recursive functions.
I found a book which looks helpful. I maybe will ask more specific questions after I make some progress on the answer to my question. Thank you all...

Adem Ozyavas
Graduate Student
Texas Tech University