Image from Coce

Normal view MARC view ISBD view

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

By:

Zielonka, Wojciech

Contributor(s):

Uniwersytet Warmińsko-Mazurski (Olsztyn). Wydawnictwo [pbl]

Material type: Text

Text

TextSeries: 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):

Logika matematyczna nieklasyczna

Holdings
Item type	Current library	Call number	Vol info	Status	Date due	Item holds
Serie	Biblioteka Główna URK Magazyn Główny	501272 II (176) (Browse shelf(Opens below))	176	Not for loan

Total holds: 0

Browsing Biblioteka Główna URK shelves, Shelving location: Magazyn Główny Close shelf browser (Hides shelf browser)

Previous								Next
Previous	501272 II (173) Związki chemiczne zawarte w nasionach fasoli (Phaseolus spp.) wpływające na zachowanie się i rozwój strąkowca fasolowego (Acanthoscelides obtectus Say) /	501272 II (174) Azot i fosfor w glebach organicznych na tle zróżnicowanych warunków siedliskowych oraz sposobów ich użytkowania w obszarach młodoglacjalnych Polski północno-wschodniej /	501272 II (175) Wykorzystanie biomasy glonów jako substratu w procesie fermentacji metanowej /	501272 II (176) Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych /	501272 II (177) Wpływ presuryzacji na stabilność koloidalną mleka odtłuszczonego /	501272 II (178) Wpływ mikrofalowego promieniowania elektromagnetycznego na proces fermentacji metanowej /	501272 II (180) Jęczmień jary w siewie czystym i z wsiewkami międzyplonowymi w płodozmianach /	Next

Bibliogr. s. 103-109. Indeks.

Uniwersytet Warmińsko-Mazurski (Olsztyn).

VIAF ID: 296787277