Springer
Proceedings of the Summer School in Logik, Leeds, 1967 (English, Martin H. Löb)
₹4,501
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
Lectures on proof theory.- Partitions and models.- Klassen rekursiver funktionen.- Hyperarithmetic ultrafilters.- Recursive equivalence: A survey.- Half-ring morphologies.- Formalisations of some ?0 ?ukasiewicz propositional calculi.- Theories which are not ?o-categorical.- The monadic fragment of predicate calculus with the Chang quantifier and equality.- The ? 1 1 -comprehension schema and ?-rules.
ISBN: 9783540042402
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540042402 |
| ISBN-10 | 3540042407 |
| Author | Martin H. Löb |
