ISBN-10:
3540071490
ISBN-13:
9783540071495
Pub. Date:
06/17/1975
Publisher:
Springer Berlin Heidelberg
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. ToledoS.A. Toledo

Paperback

Current price is , Original price is $46.0. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

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

Table of Contents

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

Customer Reviews