నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి

Subrecursion: functions and hierarchies

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
Subrecursion: functions and hierarchies

Subrecursion: functions and hierarchies

Rose H.E.

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

వర్గాలు:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

సంవత్సరం:

1984

ప్రచురణకర్త:

Oxford University Press;Clarendon Press

భాష:

english

పేజీల సంఖ్య:

205

ISBN 10:

0198531893

ISBN 13:

9780198531890

పుస్తక శ్రేణి:

Oxford logic guides 9

ఫైల్:

DJVU, 1.30 MB

IPFS:

,

english, 1984

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

D. A Clarke — Hierarchies of predicates of finite types,

Alexander S. Kechris, Yiannis N. Moschovakis (auth.), Alexander S. Kechris, Yiannis N. Moschovakis (eds.) — Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77

— Foundations of Mathematics 001

Anton Setzer — Logik MN2

Toshiyasu Arai — Ordinal Analysis

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Enderton, Herbert B — Elements of Set Theory

Herbert B. Enderton — Elements of set theory

H. E. Rose — Subrecursion: Functions and Hierarchies

Keith J. Devlin (auth.) — Fundamentals of Contemporary Set Theory

Derek Goldrei — Classic Set Theory: For Guided Independent Study

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

Fenstad J.E., Gandy R.O., Sacks G.E. (eds.) — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium

Gaisi Takeuti — Proof theory

Gaisi Takeuti — Proof Theory

P. T. Johnstone — Notes on Logic and Set Theory

Cooper S.B., Truss J.K. (eds.) — Sets and Proofs

Karel Hrbacek, Thomas Jech — Introduction to set theory

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Jech, T.J; Scott, D. (editors) — Axiomatic Set Theory, Volume 2 (Symposium in Pure Mathematics Los Angeles July, 1967)

Clarke D.A. — Hierarchies of predicates of finite types

Daniel W. Cunningham — Set Theory: A First Course (Cambridge Mathematical Textbooks)

Keith J. Devlin — Constructibility

Peter G. Hinman — Recursion-Theoretic Hierarchies

Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.) — Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Wilfried Sieg, Richard Sommer, Carolyn Talcott — Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

Peter Hinman — Recursion-theoretic hierarchies

K. J. Devlin — Constructibility

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Peter G. Hinman — Recursion-Theoretic Hierarchies

Keith J. Devlin — Constructibility

Toshiyasu Arai — Ordinal Analysis with an Introduction to Proof Theory

Toshiyasu Arai, Qi Feng, Byunghan Kim, Guohua Wu, Yue Yang (eds.) — Proceedings of The 11th Asian Logic Conference

కీలక పదబంధాలు