Cover Image

Journal of formalized reasoning.

Bibliographic Details
Format: Serial
Language:English
Published: Bologna, Italy : Centro Inter-Bibliotecario.
Subjects:
Proof theory > Periodicals.
Formalization (Linguistics) > Periodicals.
Metamathematics > Periodicals.
Logic, Symbolic and mathematical > Periodicals.
Online Availability: Check for online availability
Description
Published:Began with: Vol. 1, no 1 (2008).
Item Description:Electronic resource.
Publication Frequency:Annual
ISSN:1972-5787