Computable Skolem functions for true formulae of elementary arithmetic

Thumbnail Image

Date

1971

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Thesis (M.S.)--Dept. of Mathematics, A.U.B.

Keywords

Citation

URI

http://hdl.handle.net/10938/1956

Collections

AUB Students' Theses, Dissertations, and Projects

Endorsement

Review

Supplemented By

Referenced By