Show simple item record

Interpretations in Presburger Arithmetic

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorVisser, A.
dc.contributor.advisorBeklemishev, L.
dc.contributor.authorZoethout, J.
dc.date.accessioned2015-07-07T17:00:36Z
dc.date.available2015-07-07T17:00:36Z
dc.date.issued2015
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/20281
dc.description.sponsorshipUtrecht University
dc.format.extent586272
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleInterpretations in Presburger Arithmetic
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsPresburger Arithmetic, Interpretation, Mathematical Logic, Arithmetical Theories
dc.subject.courseuuWijsbegeerte


Files in this item

Thumbnail
Name:
Thesis.pdf
Size:
572.5Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record