Skip to main content
SpringerLink
Log in
Book cover

Tableau Systems for First Order Number Theory and Certain Higher Order Theories

  • Book
  • © 1975

Overview

Authors:
  1. Sue Toledo
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 447)

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 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
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 (4 chapters)

  1. Front Matter

    Pages i-1
    Download chapter PDF

  2. Introduction

    • Sue Toledo
    Pages 1-29

  3. First order number theory

    • Sue Toledo
    Pages 31-152

  4. Second order logic

    • Sue Toledo
    Pages 153-214

  5. Other higher order systems due to Schütte

    • Sue Toledo
    Pages 215-289

  6. Back Matter

    Pages 290-339
    Download chapter PDF
Back to top

Keywords

Bibliographic Information

  • Book Title: Tableau Systems for First Order Number Theory and Certain Higher Order Theories

  • Authors: Sue Toledo

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0062936

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07149-5Published: 14 April 1975

  • eBook ISBN: 978-3-540-37442-8Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: IV, 348

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation