1 option
Formalized mathematics : a computer assisted approach.
De Gruyter Journals - Open Access Available from 06/09/2008 volume: 14 issue: 2. Available online
View online- Format:
- Journal/Periodical
- Language:
- English
- Subjects (All):
- Mathematics--Periodicals.
- Mathematics.
- Logic, Symbolic and mathematical--Periodicals.
- Logic, Symbolic and mathematical.
- Mathematical analysis--Foundations--Periodicals.
- Mathematical analysis.
- Arithmetic--Foundations--Periodicals.
- Arithmetic.
- Arithmetic--Foundations.
- Mathematical analysis--Foundations.
- Genre:
- Periodicals.
- Physical Description:
- Quarterly
- Print began in 1996.
- Other Title:
- Computer assisted approach
- Place of Publication:
- [Bialystok, Poland] : University of Białystok
- Warsaw, Poland : De Gruyter Open
- System Details:
- Mode of access: World Wide Web.
- Notes:
- Refereed/Peer-reviewed
- Vol. 11, 3 called also: Vol. 11, 3/4 (2003).
- Description based on print version record.
- Latest issue consulted: Volume 23, issue 3 (Sep 2015) De Gruyter website (viewed October 27).
- ISSN:
- 1898-9934
- OCLC:
- 310796052
- Access Restriction:
- Unrestricted online access
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.