Skip to main content
SpringerLink
Log in

Logical Number Theory I

An Introduction

  • Textbook
  • © 1991

Overview

Authors:
  1. Craig Smoryński

    1. Westmont, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Universitext (UTX)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (3 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Arithmetic Encoding

    • Craig Smoryński
    Pages 1-139

  3. Diophantine Encoding

    • Craig Smoryński
    Pages 140-265

  4. Weak Formal Theories of Arithmetic

    • Craig Smoryński
    Pages 266-393

  5. Back Matter

    Pages 395-405
    Download chapter PDF
Back to top

Keywords

About this book

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 undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography.

Authors and Affiliations

  • Westmont, USA

    Craig Smoryński

Bibliographic Information

  • Book Title: Logical Number Theory I

  • Book Subtitle: An Introduction

  • Authors: Craig Smoryński

  • Series Title: Universitext

  • DOI: https://doi.org/10.1007/978-3-642-75462-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-52236-2Published: 25 April 1991

  • eBook ISBN: 978-3-642-75462-3Published: 06 December 2012

  • Series ISSN: 0172-5939

  • Series E-ISSN: 2191-6675

  • Edition Number: 1

  • Number of Pages: X, 405

  • Number of Illustrations: 2 b/w illustrations

  • Topics: Number Theory, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation