Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
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. (Autor:in)
MATHEMATICAL NOTES -NEW YORK- C/C OF MATEMATICHESKIE ZAMETIK ; 96 ; 575-585
01.01.2014
11 pages
Aufsatz (Zeitschrift)
Englisch
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
Visual Proofs in Mathematics and Architecture
| Springer Verlag | 2023