Tools

LEADER 02783cas a2200637 i 4500

001 ssj0062812;

003 WaSeSS;

005 20251212090320.0;

006 m d ;

007 cr n ;

008 090225c19969999pl qr pss 0 a0eng ;

010 a| 2015207495;

022 a| 1898-9934y| 1426-2630;

029 0 a| OCLCSb| OP-61393;

029 1 a| NLGGCb| 330021117;

029 1 a| NZ1b| 13669553;

029 1 a| AU@b| 000051310188;

029 1 a| NZ1b| 15953579;

029 1 a| NZ1b| 15961765;

029 1 a| AU@b| 000056119977;

035 a| (WaSeSS)ssj0062812;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA1;

130 0 a| Formalized mathematics (Online)?| UNAUTHORIZED;

245 10 a| Formalized mathematicsh| [electronic resource] :b| a computer assisted approach.;

246 1 a| Computer assisted approach;

260 a| [Bialystok, Poland] :b| University of Bia¿¿ystok;

260 3 3| <2013->;a| Warsaw, Poland :b| De Gruyter Open;

310 a| Quarterly;

362 1 a| Print began in 1996.;

506 a| Available only to authorized users.;

515 a| Vol. 11, 3 called also: Vol. 11, 3/4 (2003).;

530 a| Also available in print.;

538 a| Mode of access: World Wide Web.;

588 a| Description based on print version record.;

588 a| Latest issue consulted: Volume 23, issue 3 (Sep 2015) De Gruyter website (viewed October 27).;

650 0 a| Mathematicsv| Periodicals.=| ^A459512;

650 0 a| Logic, Symbolic and mathematicalv| Periodicals.=| ^A1239722;

650 0 a| Mathematical analysisx| Foundationsv| Periodicals.=| ^A48625;

650 0 a| Arithmeticx| Foundationsv| Periodicals.=| ^A34107;

710 2 a| Uniwersytet w Bia¿¿ymstoku.1| https://id.oclc.org/worldcat/entity/E39QH7JmrJt6467Gc8YgPBPq6g.?| UNAUTHORIZED;

776 1 t| Formalized mathematicsx| 1426-2630w| (DLC) 2005210714w| (OCoLC)61705160;

787 08 i| Companion to online title:t| Journal of formalized mathematics;

850 a| DLC;

856 40 z| Click here for full textu| http://JW3MH2CM6N.search.serialssolutions.com/?V=1.0&L=JW3MH2CM6N&S=JCs&C=FORMMA&T=marc;

947 a| (OCoLC)310796052;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER123;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL79;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC61;

596 a| 1 3 4;

998 a| 6521999;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6521999-1001l| JNETm| JOYNERr| Ys| Yt| JNESSJOu| 2/13/2025x| EJOURNALz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6521999-2001l| HSLELECm| HSLr| Ys| Yt| HELECu| 2/13/2025x| EJOURNALz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6521999-3001l| MNETm| JMUSICr| Ys| Yt| MNESSJOu| 2/13/2025x| EJOURNALz| JERESOURCE;

Formalized mathematics a computer assisted approach.

Other author	Uniwersytet w Bia¿¿ymstoku.
Format	Electronic
Publication Info	[Bialystok, Poland] : University of Bia¿¿ystok
Publication Info	<2013->; Warsaw, Poland : De Gruyter Open
Supplemental Content	Click here for full text
Subjects	Mathematics--Periodicals. Logic, Symbolic and mathematical--Periodicals. Mathematical analysis--Foundations. --Periodicals. Arithmetic--Foundations. --Periodicals.

Uniform title	Formalized mathematics (Online)
Variant title	Computer assisted approach
Frequency	Quarterly
Access restriction	Available only to authorized users.
Special numbering	Vol. 11, 3 called also: Vol. 11, 3/4 (2003).
Other forms	Also available in print.
Technical details	Mode of access: World Wide Web.
Source of description	Description based on print version record.
Source of description	Latest issue consulted: Volume 23, issue 3 (Sep 2015) De Gruyter website (viewed October 27).
Related Item	Companion to online title: Journal of formalized mathematics
LCCN	2015207495
ISSN	1898-9934 1426-2630

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Formalized mathematics a computer assisted approach.

Click here for more information about this title

Availability