Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Subrecursion: Functions and Hierarchies

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
Subrecursion: Functions and Hierarchies

Subrecursion: Functions and Hierarchies

H. E. Rose

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Kategorije:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

Godina:

1984

Izdavač:

Oxford University Press, USA

Jezik:

english

Strane:

208

ISBN 10:

0198531893

ISBN 13:

9780198531890

Serije:

Oxford Logic Guides

Fajl:

DJVU, 1.74 MB

IPFS:

,

english, 1984

Čitati Online

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

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

Rose H.E. — 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

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

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

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

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

Najčešći pojmovi