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

Free Download

Authors:

Edition: 1

Series: Lecture Notes in Mathematics 447

ISBN: 9780387071497, 0-387-07149-0

Size: 2 MB (1713624 bytes)

Pages: 348/341

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category: Tags: ,

Dr. Sue Toledo (auth.)9780387071497, 0-387-07149-0

Table of contents :
Introduction….Pages 1-29
First order number theory….Pages 31-152
Second order logic….Pages 153-214
Other higher order systems due to Schütte….Pages 215-289

Reviews

There are no reviews yet.

Be the first to review “Tableau Systems for First Order Number Theory and Certain Higher Order Theories”

Related products

Shopping Cart
Scroll to Top