Proof theory sequent calculi and related formalisms

other_versions_link
Bibliografiset tiedot
Päätekijä: Bimbo, Katalin
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Boca Raton CRC press 2015
Sarja:Discrete mathematics and its applications
Aiheet:
Proof theory
Non classical logic
Display calculi

UL

Saatavuus: UL
Hyllypaikka: 510.6 BIM
510.6 BIM;1
Nide Reaaliaikaista tietoa ei saatavissa
Nide Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia