Journal of formalized reasoning

Tallennettuna:

Bibliografiset tiedot
Aineistotyyppi:	Elektroninen Aikakauslehti
Kieli:	englanti
Julkaistu:	Bologna, Italy : Centro Inter-Bibliotecario
Aiheet:	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.
Linkit:	Available in Academic Search Ultimate. Näytä asiakasliittymässä
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Internet