1991, ISBN: 3540522360
[EAN: 9783540522362], Neubuch, [PU: Springer Berlin Heidelberg Apr 1991], LOGIK; PHILOSOPHIE / ZAHLENTHEORIE; MATHEMATICALLOGIC; NUMBERTHEORY; PROOF; DIOPHANTINEEQUATIONS; DIOPHANTISCHEGL… More...
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540522362
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergra… More...
BetterWorldBooks.com used in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
ISBN: 9783540522362
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergra… More...
Springer.com Nr. 978-3-540-52236-2. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1991, ISBN: 9783540522362
Softcover reprint of the original 1st ed. 1991 Gepflegter, sauberer Zustand. 797939/2 Versandkostenfreie Lieferung computability theory,number theory,Recursion Theory,proof,Diophantine eq… More...
buchfreund.de Buchpark GmbH, 14959 Trebbin Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1991, ISBN: 9783540522362
[PU: Springer Berlin], Gepflegter, sauberer Zustand. 797939/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, Softcover reprint of the original 1st ed. 1991, Banküberweisung, … More...
booklooker.de |
1991, ISBN: 3540522360
[EAN: 9783540522362], Neubuch, [PU: Springer Berlin Heidelberg Apr 1991], LOGIK; PHILOSOPHIE / ZAHLENTHEORIE; MATHEMATICALLOGIC; NUMBERTHEORY; PROOF; DIOPHANTINEEQUATIONS; DIOPHANTISCHEGL… More...
ISBN: 9783540522362
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergra… More...
ISBN: 9783540522362
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergra… More...
1991, ISBN: 9783540522362
Softcover reprint of the original 1st ed. 1991 Gepflegter, sauberer Zustand. 797939/2 Versandkostenfreie Lieferung computability theory,number theory,Recursion Theory,proof,Diophantine eq… More...
1991, ISBN: 9783540522362
[PU: Springer Berlin], Gepflegter, sauberer Zustand. 797939/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, Softcover reprint of the original 1st ed. 1991, Banküberweisung, … More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Logical Number Theory I
EAN (ISBN-13): 9783540522362
ISBN (ISBN-10): 3540522360
Hardcover
Paperback
Publishing year: 1991
Publisher: Springer Berlin
Weight: 0,713 kg
Language: Englisch
Book in our database since 2007-03-21T08:16:23-04:00 (New York)
Detail page last modified on 2024-03-29T18:33:04-04:00 (New York)
ISBN/EAN: 9783540522362
ISBN - alternate spelling:
3-540-52236-0, 978-3-540-52236-2
Alternate spelling and related search-keywords:
Book author: smorynski craig
Book title: logical number theory, introduction theory numbers
Information from Publisher
Author: Craig Smorynski
Title: Universitext; Logical Number Theory I - An Introduction
Publisher: Springer; Springer Berlin
405 Pages
Publishing year: 1991-04-25
Berlin; Heidelberg; DE
Language: English
85,59 € (DE)
87,99 € (AT)
94,50 CHF (CH)
Available
X, 405 p. 2 illus.
BC; Hardcover, Softcover / Mathematik/Arithmetik, Algebra; Zahlentheorie; Verstehen; Diophantine equations; Diophantische Gleichung; Incompleteness; Recursion Theory; Rekursionstheorie; Undecidability; Unentscheidbarkeit; Unvollständigkeit; computability theory; mathematical logic; number theory; proof; Number Theory; Mathematical Logic and Foundations; Mathematik: Logik; Mathematische Grundlagen; EA
I. Arithmetic Encoding.- 1. Polynomials.- 2. Sums of Powers.- 3. The Cantor Pairing function.- 4. The Fueter-Pólya Theorem, I.- *5. The Fueter-Pólya Theorem, II.- 6. The Chinese Remainder Theorem.- 7. The ?-Function and Other Encoding Schemes.- 8. Primitive Recursion.- *9. Ackermann Functions.- 10. Arithmetic Relations.- 11. Computability.- 12. Elementary Recursion Theory.- 13. The Arithmetic Hierarchy.- 14. Reading List.- II. Diophantine Encoding.- 1. Diophantine Equations; Some Background.- 2. Initial Results; The Davis-Putnam-Robinson Theorem.- 3. The Pell Equation, I.- 4. The Pell Equation, II.- 5. The Diophantine Nature of R.E. Relations.- 6. Applications.- 7. Forms.- *8. Binomial Coëfficients.- *9. A Direct Proof of the Davis-Putnam-Robinson Theorem.- *10. The 3-Variable Exponential Diophantine Result.- 11. Reading List.- III. Weak Formal Theories of Arithmetic.- 1. Ignorabimus?.- 2. Formal Language and Logic.- 3. The Completeness Theorem.- 4. Presburger-Skolem Arithmetic; The Theory of Addition.- *5. Skolem Arithmetic; The Theory of Multiplication.- 6. Theories with + and ?; Incompleteness and Undecidability.- 7. Semi-Repiesentability of Functions.- 8. Further Undecidability Results.- 9. Reading List.- Index of Names.- Index of Subjects.More/other books that might be very similar to this book
Latest similar book:
9783642754630 Logical Number Theory I: An Introduction (Smorynski, Craig)
- 9783642754630 Logical Number Theory I: An Introduction (Smorynski, Craig)
- 9783642754623 Logical Number Theory I (Craig Smorynski)
- 9780387522364 Global Mobile Satellite Communications (Smorynski, C.; Ilcev, Stojce Dimov)
- 9781402027840 Global Mobile Satellite Communications (Stojce Dimov Ilcev)
- 9781402077678 Global Mobile Satellite Communications: For Maritime, Land and Aeronautical Applications (Ilcev, Stojce Dimov)
< to archive...