DS-1996-01: Computations in Propositional Logic

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

	Text (Full Text) DS-1996-01.text.ps.gz - Published Version Download (503kB)
	Text (Samenvatting) DS-1996-01.samenvatting.txt - Other Download (10kB)
	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