Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
On the positive fragment of the polymodal provability logic GLP
On the positive fragment of the polymodal provability logic GLP
On the positive fragment of the polymodal provability logic GLP
Dashkov, E. V. (Autor:in)
MATHEMATICAL NOTES -NEW YORK- C/C OF MATEMATICHESKIE ZAMETIK ; 91 ; 318-333
01.01.2012
16 pages
Aufsatz (Zeitschrift)
Englisch
DDC:
510
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Circular proofs for the Gödel-Löb provability logic
| British Library Online Contents | 2014
| TIBKAT | 2015