Notre Dame journal of formal logic.
- Publisher: University of Notre Dame
- Print ISSN: 0029-4527
- Electronic ISSN: 1939-0726
- OCLC Number: 1760836
- Subject: Logic Periodicals.
- Subject code: B
- Publication history: v. 1- Jan. 1960-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | v.3; v.4 | permanent |
| HathiTrust (HATHI) | HTDL | v.3; v.4; v.4:no.1, 3-4 (1963: Jan., July-Oct.) | permanent |
| Linda Hall Library of Science, Engineering & Technology (LHL) | Linda Hall Library of Science, Engineering & Technology | v.1-v.54:no.3/4 (1960-2013), v.56:no.2 (2015) | |
| Stanford Libraries Shared Print in Place (STF) | WEST, WEST Bronze | v.1(1960)-v.50(2009) | 20351231 |
| University of Calgary Library (UAU) | COPPUL SPAN | v.1-v.52 | 20221231 |
| University of Florida (FUG) | Florida Academic Repository (FLARE), Scholars Trust | v.1(1960)-v.41(2000), v.43:no.1(2002), v.43:no.3(2002), v.44(2003)-v.52(2011); Index v.11/15(1970/1974) | 20351231 |
| University of Illinois at Urbana Champaign Shared Print in Storage (UIUSP) | Big Ten Academic Alliance (BTAA) Shared Print Repository | v.1(1960)-v.48(2007) | 20420630 |
| University of South Carolina at Columbia (SUC) | Scholars Trust | v.1 (1960)-v.26 (1985),v.27:no.2 (1986:Apr.)-v.54 (2013) | 20351231 |
| Washington Research Library Consortium (CAO) | Scholars Trust, WRLC | v.1-59 (1960-2018) | 20351231 |
Digital Holdings
| Program | Holdings Description |
|---|---|
| CLOCKSS | v.1-v.61 (1960-2020) |