Computable Skolem functions for true formulae of elementary arithmetic

Dyck, Stephen

AUB ScholarWorks Home
→
Students Publications
→
AUB Students' Theses, Dissertations, and Projects
→
View Item

dc.contributor.author	Dyck, Stephen
dc.date.accessioned	2012-06-13T05:49:09Z
dc.date.available	2012-06-13T05:49:09Z
dc.date.issued	1971
dc.identifier.uri	http://hdl.handle.net/10938/1956
dc.description	Thesis (M.S.)--Dept. of Mathematics, A.U.B.
dc.format.extent	51 leaves cm.
dc.language.iso	eng
dc.relation.ispartof	Theses, Dissertations, and Projects
dc.subject.classification	T:001586 AUBNO
dc.subject.lcsh	Recursive functions
dc.subject.lcsh	Arithmetic
dc.title	Computable Skolem functions for true formulae of elementary arithmetic
dc.type	Thesis
dc.contributor.department	American University of Beirut. Faculty of Arts and Sciences. Department of Mathematics

Files in this item

Name: t-1586.pdf

Size: 24.32Mb

Format: PDF

View/Open

This item appears in the following Collection(s)

AUB Students' Theses, Dissertations, and Projects [12709]

Show simple item record

Search AUB ScholarWorks

Browse

All of AUB ScholarWorks
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Copyright Statement

All materials included in the institutional repository are protected by copyright laws and are the property of their respective copyright holders. Materials may be used for non-commercial, educational, or research purposes only, and must be cited or attributed to the original source. Permission for any other use must be obtained from the copyright holder(s) directly. The American University of Beirut Libraries does not assume responsibility for any infringement of copyright laws that may occur as a result of the use of materials in the repository. If you believe that your copyright has been infringed upon in the repository, please contact the AUB Libraries immediately.

For further information, please contact us at scholarworks@aub.edu.lb