Notre Dame Journal of Formal Logic

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Notre Dame Journal of Formal Logic
 
e-ISSN
1939-0726
 
ISSN
0029-4527
 
Publisher Herausgeber
DUKE UNIV PRESS
 
Publisher's Address Herausgeber Adresse
905 W MAIN ST, STE 18-B, DURHAM, USA, NC, 27701
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fokina, Ekaterina ; Frolov, Andrey ; Kalimullin, Iskander Categoricity spectra for rigid structuresArtikel Article 2016
2Terwijn, Sebastiaan A. Constructive logic and the Medvedev latticeArtikel Article 2006
3Iemhoff, Rosalie Intermediate logics and Visser's rulesArtikel Article 2005
4Aguilera, Juan P. ; Müller, Sandra Projective Games on the RealsArtikel Article 2020
5Hetzl, Stefan The computational content of arithmetical proofsArtikel Article 2012