A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Logic of proofs with substitution
Rubtsova, N. M. (author)
MATHEMATICAL NOTES -NEW YORK- C/C OF MATEMATICHESKIE ZAMETIK ; 82 ; 816-826
2007-01-01
11 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
The Complexity of Propositional Proofs
| British Library Online Contents | 1998
Visual Proofs in Mathematics and Architecture
| Springer Verlag | 2023
Quality Protection: European Confidence in Conformity Proofs
| Online Contents | 1994
Quality Protection: European Confidence in Conformity Proofs
British Library Online Contents | 1994