UID:
almahu_9947921511602882
Umfang:
IV, 331 p.
,
online resource.
ISBN:
9783540358862
Serie:
Lecture Notes in Mathematics, 70
Anmerkung:
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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783540042402
Sprache:
Englisch
URL:
http://dx.doi.org/10.1007/BFb0079093