Journal of formalized reasoning

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Hōputu:	Tāhiko Hautaka
Reo:	Ingarihi
I whakaputaina:	Bologna, Italy : Centro Inter-Bibliotecario
Ngā marau:	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.
Urunga tuihono:	Available in Academic Search Ultimate. Ver en el OPAC
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ipurangi