Title Formalized mathematics : a computer assisted approach

Published [Bialystok, Poland] : University of Białystok <2013->; Warsaw, Poland : De Gruyter Open Print began in 1996

Online access available from: Sciendo    09 June 2008- View Resource Record

Copies

Description Online resource Related To Companion to online title: Journal of formalized mathematics Numbering Vol. 11, 3 called also: Vol. 11, 3/4 (2003) Notes Also issued in printing Mode of access: World Wide Web Description based on print version record Latest issue consulted: Volume 23, issue 3 (Sep 2015) De Gruyter website (viewed October 27) Subject Mathematics -- Periodicals Logic, Symbolic and mathematical -- Periodicals Mathematical analysis -- Foundations -- Periodicals Arithmetic -- Foundations -- Periodicals Form Electronic journal Author Uniwersytet w Białymstoku LC no. 2015207495 ISSN 1898-9934 1426-2630

Other Titles Computer assisted approach

  Permalink