Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Edition 1

Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Edition 1

by S.A. Toledo
     
 

ISBN-10: 3540071490

ISBN-13: 9783540071495

Pub. Date: 06/17/1975

Publisher: Springer Berlin Heidelberg

Product Details

ISBN-13:
9783540071495
Publisher:
Springer Berlin Heidelberg
Publication date:
06/17/1975
Series:
Lecture Notes in Mathematics Series, #447
Edition description:
1975
Pages:
348
Product dimensions:
9.21(w) x 6.14(h) x 0.73(d)

Table of Contents

First order number theory.- Second order logic.- Other higher order systems due to Schütte.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >