Journal of formalized reasoning

Պահպանված է:

Մատենագիտական մանրամասներ
Ձևաչափ:	Էլեկտրոնային Պարբերական
Լեզու:	English
Հրապարակվել է:	Bologna, Italy : Centro Inter-Bibliotecario
Խորագրեր:	Proof theory > Periodicals. Formalization (Linguistics) > Periodicals. Metamathematics > Periodicals. Logic, Symbolic and mathematical > Periodicals. Formalization (Linguistics) Logic, Symbolic and mathematical. Metamathematics. Proof theory. Mathematical Theory Electronic journals. Periodicals.
Առցանց հասանելիություն:	Enlace del recurso

Նկարագրություն
Հրապարակվել է:	Began with: Vol 1, no 1 (2008).
Հրապարակման հաճախականությունը:	Annual

Նմանատիպ նյութեր