This page contains enriched content visible when JavaScript is enabled.
My Account
Library Home
Your session will expire automatically in
0
seconds.
Continue session
End session now
Save to My Lists
Export
Return to Browse
Search Type1
Keyword
Title
Author (Last name first)
Subject
ISBN/ISSN
Call Number
Unit Code
Libraries Australia No.
Library of Congress No.
Search
Search Scope
Entire Collection
Print Books
E-books
All books
E-journals
All journals
Databases
All e-resources
Streaming Video
DVDs
Curriculum Resources
Deakin Theses
Special Collections
Melbourne Burwood
Warrnambool
Geelong Waterfront
Geelong Waurn Ponds
Previous Record
Next Record
  Permalink    
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