Proof theory sequent calculi and related formalisms

other_versions_link
Bibliografski detalji
Glavni autor: Bimbo, Katalin
Format: Printed Book
Jezik:English
Izdano: Boca Raton CRC press 2015
Serija:Discrete mathematics and its applications
Teme:
Proof theory
Non classical logic
Display calculi

UL

Detalji primjeraka od UL
Signatura: 510.6 BIM
510.6 BIM;1
Primjerak Prikaz statusa u stvarnom vremenu nije dostupan
Primjerak Prikaz statusa u stvarnom vremenu nije dostupan

Similar Items