Limit search to available items
Book Cover
E-journal

Title Journal of formalized reasoning
Published Bologna, Italy : Centro Inter-Bibliotecario
Began with: Vol 1, no 1 (2008)
Online access available from:
SciTech Premium Collection    01 Jan. 2008-
View Resource Record  
ProQuest Central    01 Jan. 2008 - 31 Jan. 2020
View Resource Record  
Directory of Open Access Journals    01 Jan. 2008-
View Resource Record  

Copies

Description Online resource
Notes Description based on: Vol 1, no 1 (2008); title from HTML contents (publisher's Web site, viewed July 11, 2011)
Latest issue consulted: Vol 4, no 1 (2011) (publisher's Web site, viewed July 11, 2011)
Subject Proof theory -- Periodicals
Formalization (Linguistics) -- Periodicals
Metamathematics -- Periodicals
Logic, Symbolic and mathematical -- Periodicals
Form Electronic journal
LC no. 2011252163
ISSN 1972-5787
ABBREV TI J. Formaliz. Reason
OTHER TI Journal of Formalized Reasoning