Journal of formalized reasoning.
Bologna, Italy : Centro Inter-Bibliotecario
Refereed/Peer-reviewed
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).
Proof theory
Formalization (Linguistics)
Metamathematics
Logic, Symbolic and mathematical
Formalization (Linguistics)
Logic, Symbolic and mathematical.
Metamathematics.
Proof theory.
Mathematical Theory