Formalized mathematics : a computer assisted approach.

Gespeichert in:
Weitere Titel:
Computer assisted approach
Format:
Elektronisch Zeitschrift
ZDB-Link
Sprache:
Englisch
Veröffentlicht:
[Bialystok, Poland] : University of Białystok
Warsaw, Poland : De Gruyter Open
Erscheinungsjahr:
Print began in 1996.
Umfang:
Also issued in print.
Mode of access: World Wide Web.
Anmerkungen:
Refereed/Peer-reviewed
Vol. 11, 3 called also: Vol. 11, 3/4 (2003).
Erscheinungs­häufigkeit:
Quarterly
Format Details:
Mode of access: World Wide Web.
ISSN:
1898-9934
1426-2630
Schlagworte:
Mathematics > Periodicals.
Logic, Symbolic and mathematical > Periodicals.
Mathematical analysis > Foundations > Periodicals.
Arithmetic > Foundations > Periodicals.
Logique symbolique et mathématique > Périodiques.
Analyse mathématique > Fondements > Périodiques.
Arithmétique > Fondements > Périodiques.
Arithmetic > Foundations.
Logic, Symbolic and mathematical.
Mathematical analysis > Foundations.
Mathematics.
Periodicals.
Links: