X, 218 p. ; 23 cm. (Studies in logic and the foundations of mathematics ; 77) DA COLLEZIONE = COME NUOVO (Copertina rigida editoriale a tutta tela con sovracoperta con bandelle) (Sovracoperta rovinata)] [CONTENTS = INDICE - Preface - Introduction Chapter 1 : Positive elementary inductive defenitions Chapter 2 : The stages of an inductive definition Chapter 3 : Structure theory for inductive relations Chapter 4 : Games and game quantifiers Chapter 5 : Acceptable structures Chapter 6 : Inductive second orderrelations Chapter 7 : Second order characterizations Chapter 8 : Countable acceptable structures Chapter 9 :The next admissible set - References - Index - Index of symbols]
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata