A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
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. (author)
MATHEMATICAL NOTES -NEW YORK- C/C OF MATEMATICHESKIE ZAMETIK ; 91 ; 318-333
2012-01-01
16 pages
Article (Journal)
English
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