Journal of formalized reasoning

Journal of formalized reasoning

Hae kokoteksti

E-kausijulkaisu

Centro Inter-Bibliotecario

Tallennettuna:

Genre

Periodicals

Kieli

englanti

Huomautukset

Refereed/Peer-reviewed

Julkaisija

Bologna, Italy : Centro Inter-Bibliotecario

Luokitus

dlc QA9.54

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

Muu ilmiasu

1972-5787

Julkaistu

Began with: Vol 1, no 1 (2008)

Julkaisutiheys

Annual

Saatavuustiedot

Henkilökuntanäyttö