000000246 001__ 246
000000246 005__ 20231130114544.0
000000246 0247_ $$2DOI$$a10.6083/M46H4FCP
000000246 037__ $$aETD
000000246 245__ $$aConstructive negation in logic programs
000000246 260__ $$bOregon Graduate Center
000000246 269__ $$a1987
000000246 336__ $$aDissertation
000000246 502__ $$bPh.D.
000000246 540__ $$fCC BY
000000246 542__ $$fIn copyright - single owner
000000246 6531_ $$aincompleteness theorems
000000246 6531_ $$aconstructive mathematics
000000246 6531_ $$alogic programming
000000246 692__ $$aDepartment of Computer Science and Engineering$$041405
000000246 7001_ $$aWalinsky, Clifford
000000246 7001_ $$uOregon Graduate Center$$041351
000000246 8564_ $$94f27e8e1-6788-4df2-9187-a2800d6331dc$$s5164773$$uhttps://digitalcollections.ohsu.edu/record/246/files/246_etd.pdf
000000246 905__ $$a/rest/prod/2b/88/qc/19/2b88qc199
000000246 909CO $$ooai:digitalcollections.ohsu.edu:246$$pstudent-work
000000246 980__ $$aTheses and Dissertations