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:

STA

Informace o exemplářích z: STA
Signatura: 517.3 BIM
Jednotka Neznámá aktuální dostupnost