DS-1996-01: Computations in Propositional Logic

DS-1996-01: Hendriks, Lex (1996) Computations in Propositional Logic. Doctoral thesis, University of Amsterdam.

[thumbnail of Full Text] Text (Full Text)
DS-1996-01.text.ps.gz - Published Version

Download (503kB)
[thumbnail of Samenvatting] Text (Samenvatting)
DS-1996-01.samenvatting.txt - Other

Download (10kB)
[thumbnail of Full Text] Text (Full Text)
DS-1996-01.text.pdf - Published Version

Download (1MB)
Item Type: Thesis (Doctoral)
Report Nr: DS-1996-01
Series Name: ILLC Dissertation (DS) Series
Year: 1996
Subjects: Computation
Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 14 Jun 2022 15:16
Last Modified: 25 May 2023 13:45
URI: https://eprints.illc.uva.nl/id/eprint/1994

Actions (login required)

View Item View Item