From insight to proof : Festschrift in honour of Andrzej Trybulec / guest ed. Roman Matuszewski, Anna Zalewska.
Contributor(s): Matuszewski, Roman [Red.] | Zalewska, Anna [Red.] | Uniwersytet (Białystok). Wydawnictwo [Wydawca].
Material type: BookSeries: Studies in Logic, Grammar and Rhetoric: 10 (23)Publisher: Białystok : University of Białystok, 2007Description: X, 399, [1] s. : il. ; 25 cm.Content type: Tekst Media type: Bez urządzenia pośredniczącego Carrier type: WoluminISBN: 9788374311281.Subject(s): Trybulec, Andrzej (1941-2013) | Języki programowania -- matematyka -- miscellanea | Języki programowania logicznego -- miscellanea | Matematyka -- informatyka -- miscellanea | Księgi pamiątkowe -- PolskaOnline resources: Click here to access online Dostępny również w formie elektronicznej.Analytics: Show analyticsItem type | Current location | Home library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Książka | Biblioteka UKSW - Dewajtis Magazyn I - Dewajtis | Biblioteka UKSW - Dewajtis | 262297 | Available | Na stronie tyt. pieczątka: "Ze zbiorów Michała Krynickiego" | 262297 |
Total holds: 0
Bibliogr. przy rozdz.
Dostępny również w formie elektronicznej.