Journal of formalized reasoning
Gespeichert in:
| Format: | Elektronisch Zeitschrift |
|---|---|
| Sprache: | Englisch |
| Veröffentlicht: |
Bologna, Italy :
Centro Inter-Bibliotecario
|
| Schlagworte: | |
| Online-Zugang: | Available in Academic Search Ultimate. Im OPAC anzeigen |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000cas a22000002a 4500 | ||
|---|---|---|---|
| 001 | ebs66485348e | ||
| 003 | EBZ | ||
| 006 | m d |||||| | ||
| 007 | cr|unu|||||||| | ||
| 008 | 090603c20089999it ar o 0 0eng c | ||
| 022 | |y 1972-5787 | ||
| 035 | |a (EBZ)ebs66485348e | ||
| 040 | |a WaSeSS |b eng |d EBZ | ||
| 042 | |a pcc | ||
| 050 | 1 | 4 | |a QA9.54 |
| 130 | 0 | |a Journal of formalized reasoning (Online) | |
| 222 | 1 | 0 | |a Journal of Formalized Reasoning |
| 245 | 0 | 0 | |a Journal of formalized reasoning |h [electronic resource]. |
| 260 | |a Bologna, Italy : |b Centro Inter-Bibliotecario | ||
| 310 | |a Annual | ||
| 362 | 1 | |a Began with: Vol 1, no 1 (2008). | |
| 650 | 0 | |a Proof theory |v Periodicals. | |
| 650 | 0 | |a Formalization (Linguistics) |v Periodicals. | |
| 650 | 0 | |a Metamathematics |v Periodicals. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Periodicals. | |
| 650 | 7 | |a Formalization (Linguistics) |2 fast |0 (OCoLC)fst00932947 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Metamathematics. |2 fast |0 (OCoLC)fst01018261 | |
| 650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 653 | |a Mathematical Theory | ||
| 655 | 0 | |a Electronic journals. | |
| 655 | 7 | |a Periodicals. |2 fast |0 (OCoLC)fst01411641 | |
| 773 | 0 | |t Academic Search Ultimate |d EBSCO | |
| 856 | 4 | 0 | |3 Full text available: Jan 2014-Jan 2020. |z Available in Academic Search Ultimate. |u https://biblioteca.ues.edu.sv/acceso/ebsco/?url=https%3A%2F%2Fsearch.ebscohost.com%2Fdirect.asp%3Fdb%3Dasn%26jid%3DB050%26scope%3Dsite |
| 901 | |a Academic Journal | ||