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

Free Download

Authors:

Edition: 1

Series: Lecture Notes in Mathematics

ISBN: 3540071490, 9783540071495

Size: 1 MB (1309026 bytes)

Pages: 341/341

File format:

Language:

Publishing Year:

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

S.A. Toledo3540071490, 9783540071495

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