Journal of formalized reasoning

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Fformat:	Electronig Cylchgrawn
Iaith:	Saesneg
Cyhoeddwyd:	Bologna, Italy : Centro Inter-Bibliotecario
Pynciau:	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.
Mynediad Ar-lein:	Available in Academic Search Ultimate. Ver en el OPAC
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Rhyngrwyd