Journal of formalized reasoning

Enregistré dans:

Détails bibliographiques
Format:	Électronique Revue
Langue:	anglais
Publié:	Bologna, Italy : Centro Inter-Bibliotecario
Sujets:	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.
Accès en ligne:	Available in Academic Search Ultimate. Voir à l'OPAC
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet