Journal of formalized reasoning

Збережено в:

Бібліографічні деталі
Формат:	Електронний ресурс Журнал
Мова:	Англійська
Опубліковано:	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.
Онлайн доступ:	Available in Academic Search Ultimate. Переглянути в OPAC
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Інтернет