Name Card

Full name Familienname, Vorname
Fernández-Duque, David
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David A non-hyperarithmetical Gödel logic.Beitrag in Tagungsband Inproceedings 2021
2Aguilera, Juan Pablo ; Fernández-Duque, David Verification LogicArtikel Article 2017

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van Ditmarsch-2022-A new hope-vor.pdf.jpgvan Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman A new hopeInproceedings Konferenzbeitrag 2022