Interactive Learning-Based Realizability for Heyting Arithmetic with EM1 by Federico Aschieri, Stefano Berardi

Get full text

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs by Stefano Berardi, Makoto Tatsuta

Get full text

Knowledge Spaces and the Completeness of Learning Strategies by Stefano Berardi, Ugo de'Liguoro

Get full text

Anti-cyclic-citrullinated-protein-antibodies in psoriatic arthritis patients: how autoimmune dysregulation could affect clinical characteristics, retention rate of methotrexate mon... by Cinzia Rotondo, Addolorata Corrado, Daniela Cici, Stefano Berardi, Francesco Paolo Cantatore

Get full text

Giant angioleiomyoma of uterus: A case report with focus on CT imaging by Antonio Pierro, MD, Fabio Rotondi, MD, Savino Cilla, PhD, Maria De Ninno, MD, Marilena Mattoni, MD, Stefano Berardi, MD, Marco Pericoli Ridolfini, MD, Giuseppina Sallustio, MD

Get full text

Colitis cystica profunda of the rectum with adenomatous dysplastic features: Radiologic-pathologic correlation by Nicolò Rumi, MD, Savino Cilla, PhD, Maria De Ninno, MD, Stefano Berardi, MD, Gianluca Spera, MD, Ronel D’amico, MD, Fabio Rotondi, MD, Giuseppina Sallustio, MD, Antonio Pierro, MD

Get full text