Journal of formalized reasoning

Journal of formalized reasoning

Get full text

eSerial

Centro Inter-Bibliotecario

Saved in:

Genre

Periodicals

Language

English

Item Description

Refereed/Peer-reviewed

Publisher

Bologna, Italy : Centro Inter-Bibliotecario

Classification

dlc QA9.54

Subjects

Proof theory → Periodicals.

Formalization (Linguistics) → Periodicals.

Metamathematics → Periodicals.

Logic, Symbolic and mathematical → Periodicals.

Formalization (Linguistics)

Logic, Symbolic and mathematical.

Metamathematics.

Proof theory.

Mathematical Theory

Additional form

1972-5787

Publish date

Began with: Vol 1, no 1 (2008)

Publication Frequency

Annual