Login / Signup
Milos Adzic
ORCID
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 3
Top Topics
Theorem Prover
Intuitionistic Logic
Natural Deduction
Social Bookmarking
Top Venues
Stud Logica
Bull. Symb. Log.
</>
Publications
</>
Kosta Dosen
,
Milos Adzic
Gödel on Deduction.
Stud Logica
107 (1) (2019)
Kosta Dosen
,
Milos Adzic
Gödel's Natural Deduction.
Stud Logica
106 (2) (2018)
Milos Adzic
,
Kosta Dosen
Gödel's Notre Dame Course.
Bull. Symb. Log.
22 (4) (2016)