UID:
almahu_9947921511602882
Format:
IV, 331 p.
,
online resource.
ISBN:
9783540358862
Series Statement:
Lecture Notes in Mathematics, 70
Note:
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
Additional Edition:
Printed edition: ISBN 9783540042402
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0079093