Ładuje się......

Proof theory sequent calculi and related formalisms

Opis bibliograficzny
1. autor: Bimbo, Katalin
Format: Printed Book
Język:English
Wydane: Boca Raton CRC press 2015
Seria:Discrete mathematics and its applications
Hasła przedmiotowe:

UL

Szczegóły zapisu UL
Sygnatura: 510.6 BIM
510.6 BIM;1
Egzemplarz Możliwość dostępu nieznana
Egzemplarz Możliwość dostępu nieznana