Record number :
6310
Author :
Brauner Torben
Creator Role :
نويسنده
Title :
Hybrid logic and its proof- theory
Publication :
London Springer
Published Year :
2011
Fierst Pages :
xiii
Main Pages :
231
Collation :
xiii، 231، illus
Series :
Applied logic series; v. 37
Reprint :
False
Subject :
Logic, symbolic and mathematical , Proof theory
Class :
511
Number :
3
CutterNumber :
B 72
ISBN :
978-94-007-0001-7
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=7&DC=6310
