Bu ke jie wen ti

Kunming Shi: Yunnan jiao yu chu ban she (1992)
  Copy   BIBTEX

Abstract

林毓材(1948~ ),云南师范大学数学系教授,任计算机科学教研室主任与研究室主任,云南省科委应用基础研究基金委员会委员,云南省软件评测委员会主任委员等职.

Categories

Keywords

Reprint years

Call number

QA9.63.L56 1992

ISBN(s)

7541505854   9787541505850

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
Degrees of unsolvability: structure and theory.Richard L. Epstein - 1979 - New York: Springer Verlag.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Degrees of Unsolvability.Gerald E. Sacks - 1966 - Princeton University Press.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
Minimal Degrees of Unsolvability and the Full Approximation Construction.American Mathematical Society, Donald I. Cartwright, John Williford Duskin & Richard L. Epstein - 1975 - American Mathematical Soc..
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
Unsolvable classes of quantificational formulas.Harry R. Lewis - 1979 - Reading, Mass.: Addison-Wesley.
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.Richard A. Shore - 1997 - Archive for Mathematical Logic 36 (4-5):233-253.
On Suborderings of Degrees of Recursive Unsolvability.Gerald E. Sacks - 1961 - Mathematical Logic Quarterly 7 (1-5):46-56.
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Mathematical Logic Quarterly 14 (30):457-472.
A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Mathematical Logic Quarterly 14 (13-17):193-204.
Undecidability of the Domino Problem.Robert Berger - 1966 - American Mathematical Soc..
Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Mathematical Logic Quarterly 11 (2):149-175.

Analytics

Added to PP
2023-05-15

Downloads
8 (#1,308,042)

6 months
6 (#510,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references