Formalized mathematics a computer assisted approach.
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Формат: | Цахим Сэтгүүл |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
[Bialystok, Poland] :
University of Białystok
|
| Нөхцлүүд: | |
| Онлайн хандалт: | Available in Academic Search Ultimate. Нээлттэй каталог буюу OPAC дээр харах |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
MARC
| LEADER | 00000cas a22000002a 4500 | ||
|---|---|---|---|
| 001 | ebs70834848e | ||
| 003 | EBZ | ||
| 006 | m d |||||| | ||
| 007 | cr|unu|||||||| | ||
| 008 | 050925c19969999pl qr p o 0 0eng | ||
| 022 | |a 1898-9934 |y 1426-2630 | ||
| 035 | |a (EBZ)ebs70834848e | ||
| 040 | |a DLC |b eng |d EBZ | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA1 |b .F639 |
| 130 | 0 | |a Formalized mathematics (Online) | |
| 222 | 1 | 0 | |a Formalized Mathematics |
| 245 | 0 | 0 | |a Formalized mathematics |h [electronic resource] : |b a computer assisted approach. |
| 260 | |a [Bialystok, Poland] : |b University of Białystok | ||
| 310 | |a Quarterly | ||
| 362 | 1 | |a Began in 1996. | |
| 515 | |a Vol. 11, 3 called also: Vol. 11, 3/4 (2003). | ||
| 650 | 0 | |a Mathematics |v Periodicals. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Periodicals. | |
| 650 | 0 | |a Mathematical analysis |x Foundations |v Periodicals. | |
| 650 | 0 | |a Arithmetic |x Foundations |v Periodicals. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Périodiques. | |
| 650 | 6 | |a Analyse mathématique |x Fondements |v Périodiques. | |
| 650 | 6 | |a Arithmétique |x Fondements |v Périodiques. | |
| 650 | 7 | |a Arithmetic |x Foundations |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematical analysis |x Foundations |2 fast | |
| 650 | 7 | |a Mathematics |2 fast | |
| 655 | 7 | |a Periodicals |2 fast | |
| 710 | 2 | |a Uniwersytet w Białymstoku. |1 https://id.oclc.org/worldcat/entity/E39QH7JmrJt6467Gc8YgPBPq6g | |
| 773 | 0 | |t Academic Search Ultimate |d EBSCO | |
| 776 | 1 | |t Formalized mathematics |x 1426-2630 |w (OCoLC)61705160 |w (DLC)2005210714 | |
| 856 | 4 | 0 | |3 Full text available: Oct 2013-. |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%3DFS00%26scope%3Dsite |
| 901 | |a Academic Journal | ||