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

Paperback

$46.00

SHIP THIS ITEM
Qualifies for Free Shipping
PICK UP IN STORE
Check Availability at Nearby Stores

Available within 2 business hours

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)

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

From the B&N Reads Blog

Page 1 of