National Science Library of Georgia

Your search returned 3 results.

Sort
Results
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Finite precision number systems and arithmetic / Peter Kornerup, David W. Matula. by Series: Encyclopedia of mathematics and its applications ; v. 133.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Other title:
  • Finite Precision Number Systems & Arithmetic
Online resources:
Availability: No items available.
Numbers, sets, and axioms : the apparatus of mathematics / A.G. Hamilton. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1982
Other title:
  • Numbers, Sets & Axioms
Online resources:
Availability: No items available.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.