Načítá se...

Proof theory: sequent calculi and related formalisms

Podrobná bibliografie
Hlavní autor: Bimbo, Katalin
Médium: Printed Book
Jazyk:English
Vydáno: Boca Raton CRC Press 2015
Témata: