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:

Available Online