Metadata language
Title:
From insight to proof : Festschrift in honour of Andrzej Trybulec
Contributor:
Matuszewski, Roman. Red. ; Zalewska, Anna ( -2008). Red.
Date:
Uwagi:
Subject and Keywords:
Trybulec, Andrzej ; Język programowania - matematyka ; Języki programowania logicznego ; Matematyka - informatyka
Relation:
Studies in Logic. Grammar and Rethoric 10 (23)
Format:
Description:
Resource Type:
Language:
Rights Management:
Publisher:
Place of publishing:
Localization:
Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku