Učitavanje...

Proof theory sequent calculi and related formalisms

Bibliografski detalji
Glavni autor: Bimbo, Katalin
Format: Printed Book
Jezik:English
Izdano: Boca Raton CRC press 2015
Serija:Discrete mathematics and its applications
Teme: