Proof theory : sequent calculi and related formalisms
Başlık:
Proof theory : sequent calculi and related formalisms
Yazar:
Bimbó, Katalin, 1963- author.
ISBN:
9781466564688
Yazar Ek Girişi:
Fiziksel Tanımlama:
1 online resource (386 pages).
Seri:
Discrete Mathematics and its Applications
Discrete mathematics and its applications.
Notlar:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Konu Başlığı:
Tür:
Elektronik Erişim:
Click to View