A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Circular proofs for the Gödel-Löb provability logic
Circular proofs for the Gödel-Löb provability logic
Circular proofs for the Gödel-Löb provability logic
Shamkanov, D. S. (author)
MATHEMATICAL NOTES -NEW YORK- C/C OF MATEMATICHESKIE ZAMETIK ; 96 ; 575-585
2014-01-01
11 pages
Article (Journal)
English
DDC:
510
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
On the positive fragment of the polymodal provability logic GLP
| British Library Online Contents | 2012
Logic of proofs with substitution
| British Library Online Contents | 2007
Godel, Mathematics, and Possible Worlds
| British Library Conference Proceedings | 2001
The Complexity of Propositional Proofs
| British Library Online Contents | 1998