Đang tải...

Mã QR

Diagonalization and self-reference.

Chi tiết về thư mục
Tác giả chính:	Smullyan, Raymond M.
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Oxford ; Clarendon Press, 1996.
Những chủ đề:	Recursion theory. Fixed point theory. Fixed point theory.

Những quyển sách tương tự

Fixed points /
Bằng: Shashkin, Yu. A.
Được phát hành: (1998)

Handbook of metric fixed point theory /
Được phát hành: (2001)

Fixed point theory /
Bằng: Granas, Andrzej
Được phát hành: (2003)

Fixed point theorems and their applications /
Bằng: Farmakis, Ioannis, et al.
Được phát hành: (2013)

Recursion theory for metamathematics.
Bằng: Smullyan, Raymond M.
Được phát hành: (1993)

Fixed Point Theory /
Bằng: Granas,Andrzej
Được phát hành: (2003)

Fixed Points
Bằng: Shashkin, Yu A
Được phát hành: (1991)

Fixed points.
Bằng: Shashkin, Yu .A
Được phát hành: (1991)

Fixed point theory and graph theory : foundations and integrative approaches /
Được phát hành: (2016)

Fixed point theorems
Bằng: Smart, D. R.
Được phát hành: (1974)

The computation of fixed points and applications.
Bằng: Todd, Michael J.
Được phát hành: (1976)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Bằng: Fenstad,J.E.ed
Được phát hành: (1974)

Theory of point estimation/2nd ed.
Bằng: Lehmann, E.L
Được phát hành: (1998)

Fixed points
Bằng: Shashkin, Yu A
Được phát hành: (1998)

On Fixed point theorms.
Bằng: Singh, S.P
Được phát hành: (1974)

Theory of point estimation
Bằng: Lehmann, E.L
Được phát hành: (1983)

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Bằng: Kleene, Stephen Cole
Được phát hành: (1980)

Theory of point estimation /
Được phát hành: (1998)

Theoryy of point estimation
Bằng: Lehmann, E L
Được phát hành: (1983)

Functional Analysis
Bằng: Edward.R.E
Được phát hành: (1965)

Iterative methods for fixed point problems in Hilbert spaces /
Bằng: Cegielski, Andrzej
Được phát hành: (2012)

Lattices and ordered sets
Bằng: Roman, Steven
Được phát hành: (2008)

Atiyah-Singer index theorem: an introduction/
Bằng: Mukherjee,Amiya
Được phát hành: (2013)

Recursive functions.-3rd ed.
Bằng: Peter, Rozsa
Được phát hành: (1967)

Encyclopedia of Statistical Sciences Volume III
Bằng: Kotz,Samuel and Johnson,Norman L.
Được phát hành: (1983)

Computability Theory;Vol.62
Bằng: Weber,Rebecca

Recursion sequences
Bằng: Markushevich, A.I.ed
Được phát hành: (1975)

Recursion sequences
Bằng: Markushevich
Được phát hành: (1975)

Advanced programming and problem solving with Pascal
Bằng: Scheider,G Michael
Được phát hành: (1987)

Programming the IBM 7090: A Self Instructional Programmed Manual
Được phát hành: (1963)

How to think about algorithms
Bằng: Edmonds, Jeff
Được phát hành: (2008)

Logic, sets and recursion
Bằng: Causey, Robert L; Author
Được phát hành: (2010)

Logic, sets and recursion
Bằng: Causey, Robert L.
Được phát hành: (2010)

Topological Dynamics
Bằng: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Được phát hành: (1955)

Recursively enumerable sets and degrees.
Bằng: Soare, Robert J.
Được phát hành: (1987)

An introduction to the theory of point processes V.1.-2nd ed.
Bằng: Daley, Daryl J.
Được phát hành: (2003)

An introduction to the theory of point processes.Vol.II: General theory and structure/2nd ed.
Bằng: Daley,D.J
Được phát hành: (2008)

Introductory Functional analysis with applications /
Bằng: Kreyszig, Erwin
Được phát hành: (2003)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Được phát hành: (1977)

Nitrogen fixing trees for wastelands
Bằng: Kenneth G Macdicken
Được phát hành: (1988)