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)

Download (503kB)
[thumbnail of Samenvatting] Text (Samenvatting)

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

Actions (login required)

View Item View Item