Proceedings of the Summer School in Logik, Leeds, 1967 1

Vetenskap & teknik

Proceedings of the Summer School in Logik, Leeds, 1967

Name: Proceedings of the Summer School in Logik, Leeds, 1967
Price: 609 SEK
Availability: InStock
Author: Martin H Lb
ISBN: 9783540042402

Martin H Lb

Pocket

609:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

331 sidor
1968

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.

Författare: Martin H Lb
Format: Pocket/Paperback
ISBN: 9783540042402
Språk: Engelska
Antal sidor: 331
Utgivningsdatum: 1968-01-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K