Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Computer arithmetic and self-validating numerical methods
      1. 
      Computer arithmetic and self-validating numerical methods
      by 
      Ullrich, Christian, editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780127082455
      Format: 
      Excerpt: 
      Computer arithmetic and self-validating numerical methods / Ullrich, Christian, editor.
      Cover image for Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      2. 
      Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      by 
      International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
      Format: 
      Excerpt: 
      Interpretation of Intuitionistic Number Theory; Chapter 12 Nonstandard Arithmetic and Generic Arithmetic; PART