Number of the records: 1

Free Heyting Algebras: Revisited

SYS		stu288032
LBL		00000naa--22000003a-4500
005		20150617230237.6
008		140407s2009----------------------------d
040		$a STU $b slo
041	0-	$a
100	1-	$a Bezhanishvili, N. $4 aut $7 stu_us_auth*stu136270
245	1-	$a Free Heyting Algebras: Revisited
700	1-	$a Gehrke, M. $4 aut $7 stu_us_auth*stu136271
773	0-	$7 nnas $t Lecture Notes in Computer Science : Algebra and Coalgebra in Computer Science $w stu_us_cat*stu288031 $g Vol. 5728 (2009), s.251-266

Number of the records: 1