Studies in Constructive Mathematics and Mathematical Logic - Couverture rigide

 
9780306188046: Studies in Constructive Mathematics and Mathematical Logic
Couverture rigide
ISBN 10 : 030618804X ISBN 13 : 9780306188046
Editeur : Kluwer Academic/Plenum Publishers, 1995

L'édition de cet ISBN n'est malheureusement plus disponible.

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 . . . .

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Kluwer Academic/Plenum Publishers
Date d'édition
1995
Langue
anglais
ISBN 10 
030618804X
ISBN 13 
9780306188046
Reliure
Relié
Nombre de pages
88
Éditeur
Slisenko A. O.
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781489956323: Studies in Constructive Mathematics and Mathematical Logic: Part 1

Edition présentée

ISBN 10 :  1489956328 ISBN 13 :  9781489956323
Editeur : Springer, 2014
Couverture souple