Elementi di aritmetica ... / dell'abate Giovanni Gaeta |
Autore | Gaeta, Giovanni <abate> |
Edizione | [Edizione sesta] |
Pubbl/distr/stampa | Napoli : nel Gabinetto bibliografico e tipografico, 1825 |
Descrizione fisica | [199] p. : ill. ; 21 cm |
Disciplina | 510 |
Soggetto topico |
Arithmetic - Foundations
Algebra |
Classificazione | AMS 08-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001799089707536 |
Gaeta, Giovanni <abate>
![]() |
||
Napoli : nel Gabinetto bibliografico e tipografico, 1825 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Encyclopedia of algorithms / / Ming-Yang Kao, editor |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | New York, N.Y. : , : Springer, , 2008 |
Descrizione fisica | 1 online resource (liii, 1166 pages) : illustrations |
Disciplina | 518.103 |
Collana | Springer reference |
Soggetto topico |
Algorithms
Arithmetic - Foundations |
ISBN | 0-387-30162-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | VLSI -- Distributed Computing -- Parallel Processing -- Automated Design -- Robotics -- Graphics -- Data Base Design -- Software Tools -- Sorting -- Searching -- Data Structures -- Computational Geometry -- Linear Programming. |
Record Nr. | UNINA-9910146293903321 |
New York, N.Y. : , : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formalized mathematics : a computer assisted approach |
Pubbl/distr/stampa | [Bialystok, Poland] : , : University of Białystok |
Soggetto topico |
Mathematics
Logic, Symbolic and mathematical Mathematical analysis - Foundations Arithmetic - Foundations |
Soggetto genere / forma |
Electronic journals.
Periodicals. |
ISSN | 1898-9934 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Computer assisted approach |
Record Nr. | UNISA-996321091003316 |
[Bialystok, Poland] : , : University of Białystok | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formalized mathematics : a computer assisted approach |
Pubbl/distr/stampa | [Bialystok, Poland] : , : University of Białystok |
Soggetto topico |
Mathematics
Logic, Symbolic and mathematical Mathematical analysis - Foundations Arithmetic - Foundations |
Soggetto genere / forma | Periodicals. |
ISSN | 1898-9934 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Computer assisted approach |
Record Nr. | UNINA-9910147189203321 |
[Bialystok, Poland] : , : University of Białystok | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of real numbers / Claude W. Burrill |
Autore | Burrill, Claude W. |
Pubbl/distr/stampa | New York : McGraw-Hill, c1967 |
Descrizione fisica | 163 p. ; 23 cm |
Disciplina | 512.72 |
Soggetto topico |
Arithmetic - Foundations
Elementary number theory Real numbers |
Classificazione |
AMS 11-01
AMS 11-XX AMS 11A99 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000907149707536 |
Burrill, Claude W.
![]() |
||
New York : McGraw-Hill, c1967 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Frege, Dedekind and Peano on the foundations of arithmetic / / D.A. Gillies |
Autore | Gillies Donald <1944-, > |
Pubbl/distr/stampa | Abingdon, Oxon ; ; New York : , : Routledge, , 2011 |
Descrizione fisica | 1 online resource (114 p.) |
Disciplina | 513 |
Collana | Routledge revivals |
Soggetto topico | Arithmetic - Foundations |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-96574-7
0-203-81628-5 1-136-72108-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Frege, Dedekind and Peano on the Foundations of Arithmetic; Title Page; Copyright Page; Preface; Table of Contents; Introduction; 1. Kant's Theory of Mathematics; 2. Frege's Criticisms of Kant; 3. Mill's Theory of Mathematics; 4. Frege's Criticisms of Mill; 5. The content of a statement of number is an assertion about a concept; 6. Frege's Platonism; 7. Frege's Logicism; 8. Dedekind and Set Theory; 9. Dedekind's Development of Arithmetic; 10. Peano's Axioms. General Comparison of Frege, Dedekind, and Peano; 11. Frege's Begriffsschrift; 12. Frege's Grundgesetze, and Russell's paradox
Appendix I. On NotationAppendix II. On the Principle of Mathematical, or Complete, Induction; References; Index |
Record Nr. | UNINA-9910462571703321 |
Gillies Donald <1944-, >
![]() |
||
Abingdon, Oxon ; ; New York : , : Routledge, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Frege, Dedekind and Peano on the foundations of arithmetic / / D.A. Gillies |
Autore | Gillies Donald <1944-, > |
Pubbl/distr/stampa | Abingdon, Oxon ; ; New York : , : Routledge, , 2011 |
Descrizione fisica | 1 online resource (114 p.) |
Disciplina | 513 |
Collana | Routledge revivals |
Soggetto topico | Arithmetic - Foundations |
ISBN |
1-136-72107-X
1-283-96574-7 0-203-81628-5 1-136-72108-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Frege, Dedekind and Peano on the Foundations of Arithmetic; Title Page; Copyright Page; Preface; Table of Contents; Introduction; 1. Kant's Theory of Mathematics; 2. Frege's Criticisms of Kant; 3. Mill's Theory of Mathematics; 4. Frege's Criticisms of Mill; 5. The content of a statement of number is an assertion about a concept; 6. Frege's Platonism; 7. Frege's Logicism; 8. Dedekind and Set Theory; 9. Dedekind's Development of Arithmetic; 10. Peano's Axioms. General Comparison of Frege, Dedekind, and Peano; 11. Frege's Begriffsschrift; 12. Frege's Grundgesetze, and Russell's paradox
Appendix I. On NotationAppendix II. On the Principle of Mathematical, or Complete, Induction; References; Index |
Record Nr. | UNINA-9910786142203321 |
Gillies Donald <1944-, >
![]() |
||
Abingdon, Oxon ; ; New York : , : Routledge, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Frege, Dedekind and Peano on the foundations of arithmetic / / D.A. Gillies |
Autore | Gillies Donald <1944-, > |
Pubbl/distr/stampa | Abingdon, Oxon ; ; New York : , : Routledge, , 2011 |
Descrizione fisica | 1 online resource (114 p.) |
Disciplina | 513 |
Collana | Routledge revivals |
Soggetto topico | Arithmetic - Foundations |
ISBN |
1-136-72107-X
1-283-96574-7 0-203-81628-5 1-136-72108-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Frege, Dedekind and Peano on the Foundations of Arithmetic; Title Page; Copyright Page; Preface; Table of Contents; Introduction; 1. Kant's Theory of Mathematics; 2. Frege's Criticisms of Kant; 3. Mill's Theory of Mathematics; 4. Frege's Criticisms of Mill; 5. The content of a statement of number is an assertion about a concept; 6. Frege's Platonism; 7. Frege's Logicism; 8. Dedekind and Set Theory; 9. Dedekind's Development of Arithmetic; 10. Peano's Axioms. General Comparison of Frege, Dedekind, and Peano; 11. Frege's Begriffsschrift; 12. Frege's Grundgesetze, and Russell's paradox
Appendix I. On NotationAppendix II. On the Principle of Mathematical, or Complete, Induction; References; Index |
Record Nr. | UNINA-9910820920803321 |
Gillies Donald <1944-, >
![]() |
||
Abingdon, Oxon ; ; New York : , : Routledge, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
An introduction for to learne to recken with the pen, or wyth the counters accordynge to the trewe cast of Algorisme, in hole numbers or in broken, newly corrected [[electronic resource] ] : And certayn notable and goodlye rules of false positions there vnto added, not before sene in our English tong. by the which all maner of difficile questions may easely be dissolued and assoyled. |
Pubbl/distr/stampa | Jmprynted at London, : by John Waley, dwellinge in Foster Lane., Anno. 1552 |
Descrizione fisica | [208] p. : ill |
Soggetto topico |
Algorithms
Arithmetic - Foundations |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996389068503316 |
Jmprynted at London, : by John Waley, dwellinge in Foster Lane., Anno. 1552 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
An introduction of algorisme, to learne to reckon with the pen or with counters, in whole numbers or in broken [[electronic resource]] |
Edizione | [Newly ouersene and corrected. VVhereto is annexed, certaine notable and pleasant rules of false positions, not before seene in our Englishe tongue. By which all manner of difficile, or harde questions, may easilie be dissolued and assoiled..] |
Pubbl/distr/stampa | At London, : Printed by Iames Roberts, and are to be solde in Paules Churchyarde, at the signe of the Sun., 1595 |
Descrizione fisica | [1+] p |
Soggetto topico |
Algorithms
Arithmetic - Foundations |
Soggetto genere / forma | Title pages16th century.EnglandLondon |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996388108203316 |
At London, : Printed by Iames Roberts, and are to be solde in Paules Churchyarde, at the signe of the Sun., 1595 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|