Cantitate/Preț
Produs

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic: Lecture Notes in Mathematics, cartea 70

Autor Martin H. Löb
en Limba Engleză Paperback – 1968

Din seria Lecture Notes in Mathematics

Preț: 42340 lei

Nou

Puncte Express: 635

Preț estimativ în valută:
8105 8340$ 6832£

Carte tipărită la comandă

Livrare economică 28 februarie-14 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540042402
ISBN-10: 3540042407
Pagini: 336
Ilustrații: IV, 331 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.47 kg
Ediția:1968
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.