Some features are unavailable

Your browser does not support JavaScript, or it is disabled.

ISSN Record 1898-9934

Identifiers

ISSN:: 1898-9934

ISSN-L:: 1426-2630

ISSN-H:: 9067-7951

Titles

Abbreviated key title:: Formaliz. Math. (Białyst., Online)

Title proper:: Formalized Mathematics.

Publication

Medium:: Online

Other media:: Print

Earliest publisher:: Białystok :: University of Białystok

Issuing body:: Uniwersytet w Białymstoku.; University of Białystok

Type:: Journal

Frequency:: Quarterly

Dates of publication:: 1990-

Status:: Published

Description:: Vol. 1, nr 1 (1990)-

Country:: POLAND

Language:: English

Online

Subjects

Subject added entries:: Computer science and technology. Computing. Data processing (004); Fundamental and general considerations of mathematics (510)

Covered by

10 indexing sources

Crossref Ezb Fatcat Openalex Scopus Sherpa Romeo Sudoc Web Of Science Wikidata Zdb

Search in

Archival status

This resource has been partly archived by the keepers network.

Archival Status
Publisher	Keeper		Status	Last updated	Access
on 1
De Gruyter	Scholars Portal		Preserved	2025-09-02
Preserved : 24 (2, 4); 25 (, 2, 3); 26 (, 1 to 4); 27 (, 1, 2); 28 (, 1, 2); 2016; 2017; 2018; 2019; 2020
De Gruyter	Portico		Preserved	2026-02-12
Preserved : 2008: 14(1-4), 2008: 15(1-4), 2009: 16(1-4), 2009/2010: 17(1-4), 2011: 18(1-4), 2011/2012: 19(1-4), 2012/2013: 20(1-4), 2013: 21(4), 2014/2015: 22(1-4), 2015/2016: 23(1-4), 2016/2017: 24(1-4), 2017: 25(1-4), 2018: 26(1-4), 2019: 27(1-2), 2020: 28(1-4), 2021: 29(1-4), 2022: 30(1-4), 2023: 31(1), 2024: 32(1), 2025: 33(1)
	Scholars Portal		Preserved	2025-09-02
Preserved : 24 (1, 3); 25 (, 1, 4); 28 (, 4); 29 (, 1 to 4); 30 (, 1 to 4); 31 (, 1); 32 (, 1); 2016; 2017; 2020; 2021; 2022; 2023; 2024
Walter de Gruyter, Inc.	Library of Congress		Preserved	2025-04-07
21 (4); 22 (1 to 4); 23 (1 to 3); 24 (1 to 4); 25 (1 to 4); 26 (1 to 4); 27 (1, 2); 30 (1 to 4); 31 (1); 32 (1)

Record

Created:: 2009/01/23

By:: Poland

Last modified:: 2025/12/05

ISSN Center responsible for the record:: Poland