Baner ze zdjęciem biblioteki
Image from Coce

Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka.

By: Contributor(s): Material type: TextTextSeries: Rozprawy i Monografie - Uniwersytet Warmińsko-Mazurski w Olsztynie ; 176Publication details: Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego, 2012.Description: 112, [2] s. ; 24 cmContent type:
  • Tekst
Media type:
  • Bez urządzenia pośredniczącego
Carrier type:
  • Wolumin
ISBN:
  • 9788372997944
Subject(s):
Holdings
Item type Current library Call number Vol info Copy number Status Date due Barcode Item holds
Serie Serie Biblioteka Główna URK Magazyn Główny 501272 II (176) (Browse shelf(Opens below)) 176 1 Not for loan 1000117794
Total holds: 0

Bibliogr. s. 103-109. Indeks.