Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Bibliografia Publikacji Pracowników PK (45028)
    Książki (7334)
    Artykuły i czasopisma (20365)
    Materiały konferencyjne (22609)
    Rozprawy doktorskie (1173)
    Opublikowane recenzje (87)
    Inne publikacje w portalach i serwisach internetowych (98)
Inne bazy bibliograficzne (14798)
    Architektura i Sztuka Krakowa (2185)
    Historia i Ludzie PK – baza w przygotowaniu (2)
    Konferencje Krynickie - Referaty (7666)
    Niepublikowane prace naukowe pracowników PK (1994-2012) (4941)


Jednostki PK

Opcje

Pałasińska, Katarzyna

Sequent calculi and quasivarieties

typ: artykuł w czasopiśmie

 

Seria/Czasopismo Reports on Mathematical Logic
Numeracja T. 34
Data wydania 2000
Język angielski
Zakres stron 107-131
Uwagi Rekord z poprzedniej wersji bazy
Opis bibliograficzny Sequent calculi and quasivarieties / Katarzyna Pałasińska // Rep. Math. Log. - 2000, T. 34, s. 107-131, bibliogr. 11 poz.

dodatkowe informacje
odnośniki
Opinie użytkowników
brak opiniiDodaj opinię






© 2009 - 2020 Biblioteka Politechniki Krakowskiej http://www.biblos.pk.edu.pl/