Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in Mathematics) - Hardcover

 
9780306188046: Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in Mathematics)
Hardcover
ISBN 10: 030618804X ISBN 13: 9780306188046
Publisher: Kluwer Academic/Plenum Publishers, 1995

This specific ISBN edition is currently not available.

Synopsis

Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . .

"synopsis" may belong to another edition of this title.

Publisher
Kluwer Academic/Plenum Publishers
Publication date
1995
Language
English
ISBN 10 
030618804X
ISBN 13 
9780306188046
Binding
Hardcover
Number of pages
88
Editor
Slisenko A. O.

Other Popular Editions of the Same Title

9781489956323: Studies in Constructive Mathematics and Mathematical Logic: Part 1 (Seminars in mathematics)

Featured Edition

ISBN 10:  1489956328 ISBN 13:  9781489956323
Publisher: Springer, 2014
Softcover