Explore: Unsolvability (mathematical Logic)

“Computability & unsolvability” Metadata:

• Title: Computability & unsolvability
• Author: Davis, Martin
• Language: English
• Number of Pages: Median: 210
• Publisher: Dover - McGraw-Hill
• Publish Date: 1958 - 1982
• Publish Location: New York - [Maidenhead]

“Computability & unsolvability” Subjects and Themes:

• Subjects: ➤  Computable functions - Recursive functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL3487663M - OL6226435M - OL18960499M - OL17391086M - OL18912150M
• Online Computer Library Center (OCLC) ID: 558037 - 8475039
• Library of Congress Control Number (LCCN): 57012895 - 82007287
• All ISBNs: 9780486614717 - 0486614719

“The undecidable” Metadata:

• Title: The undecidable
• Author: Davis, Martin
• Language: English
• Number of Pages: Median: 440
• Publisher: Raven Press
• Publish Date: 1965
• Publish Location: Hewlett, N.Y

“The undecidable” Subjects and Themes:

• Subjects: ➤  Gödel's theorem - Recursive functions - Turning machines - Turing machines - Computable functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL21523355M - OL5936490M
• Online Computer Library Center (OCLC) ID: 232930
• Library of Congress Control Number (LCCN): 65003996

“The decision problem” Metadata:

• Title: The decision problem
• Author: Burton Dreben
• Language: English
• Number of Pages: Median: 271
• Publisher: ➤  Addison-Wesley, Advanced Book Program - Addison-Wesley Educational Publishers Inc
• Publish Date: 1979
• Publish Location: Reading, Mass

“The decision problem” Subjects and Themes:

• Subjects: ➤  Predicate calculus - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL4414640M
• Online Computer Library Center (OCLC) ID: 5412670
• Library of Congress Control Number (LCCN): 79018458
• All ISBNs: 020102540X - 9780201025408

“Cornerstones of undecidability” Metadata:

• Title: Cornerstones of undecidability
• Author: Grzegorz Rozenberg
• Language: English
• Number of Pages: Median: 197
• Publisher: Prentice Hall
• Publish Date: 1994
• Publish Location: New York

“Cornerstones of undecidability” Subjects and Themes:

• Subjects: ➤  Decidability (Mathematical logic) - Unsolvability (Mathematical logic) - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL1434805M
• Online Computer Library Center (OCLC) ID: 502604636
• Library of Congress Control Number (LCCN): 93046737
• All ISBNs: 0132974258 - 9780132974257

“Minimal degrees of unsolvability and the full approximation construction” Metadata:

• Title: ➤  Minimal degrees of unsolvability and the full approximation construction
• Author: Richard L. Epstein
• Language: English
• Number of Pages: Median: 136
• Publisher: American Mathematical Society
• Publish Date: 1975
• Publish Location: Providence

“Minimal degrees of unsolvability and the full approximation construction” Subjects and Themes:

• Subjects: ➤  Recursive functions - Constructive mathematics - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL5197812M
• Online Computer Library Center (OCLC) ID: 1529362
• Library of Congress Control Number (LCCN): 75020308
• All ISBNs: 9780821818626 - 0821818627

“Unsolvable classes of quantificational formulas” Metadata:

• Title: ➤  Unsolvable classes of quantificational formulas
• Author: Harry R. Lewis
• Language: English
• Number of Pages: Median: 198
• Publisher: Addison-Wesley Pub. Co.
• Publish Date: 1979
• Publish Location: Reading, Mass

“Unsolvable classes of quantificational formulas” Subjects and Themes:

• Subjects: ➤  Combinatorial analysis - Computable functions - Unsolvability (Mathematical logic) - Berechenbarkeit - Non-resolubilite (Logique mathematique) - Analyse combinatoire - Unlo˜sbarkeit - Non-resolubilite (logique mathematique) - Fonctions calculables

Edition Identifiers:

• The Open Library ID: OL4413813M
• Online Computer Library Center (OCLC) ID: 5219400
• Library of Congress Control Number (LCCN): 79017573
• All ISBNs: 0201040697 - 9780201040692

“Unsolved Problems on Mathematics for the 21st Century” Metadata:

• Title: ➤  Unsolved Problems on Mathematics for the 21st Century
• Author: J. M. Abe
• Language: English
• Number of Pages: Median: 326
• Publisher: IOS Press - Ios Pr Inc
• Publish Date: 2001
• Publish Location: Amsterdam

“Unsolved Problems on Mathematics for the 21st Century” Subjects and Themes:

• Subjects: Geometry - Mathematics - Famous Problems - Famous problems - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL22462458M - OL12807418M
• Library of Congress Control Number (LCCN): 00111252
• All ISBNs: 9051994907 - 9789051994902

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability
• Author: Gerald E. Sacks
• Language: English
• Number of Pages: Median: 174
• Publisher: Princeton University Press
• Publish Date: 1963 - 1966
• Publish Location: Princeton, N.J

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Recursive functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL17771290M - OL13581824M - OL5879381M
• Online Computer Library Center (OCLC) ID: 527317 - 400090
• Library of Congress Control Number (LCCN): 63009996

“Computability” Metadata:

• Title: Computability
• Author: Davis, Martin
• Language: English
• Number of Pages: Median: 248
• Publisher: ➤  Courant Institute of Mathematical Sciences - New York University, Courant Institute of Mathematical Sciences
• Publish Date: 1974
• Publish Location: New York - [New York]

“Computability” Subjects and Themes:

• Subjects: ➤  Computable functions - Recursive functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL21970003M - OL21082071M

“Vychislimoe i nevychislimoe” Metadata:

• Title: Vychislimoe i nevychislimoe
• Author: I͡Uriĭ Ivanovich Manin
• Language: rus
• Number of Pages: Median: 127
• Publisher: "Sov. radio,"
• Publish Date: 1980
• Publish Location: Moskva

“Vychislimoe i nevychislimoe” Subjects and Themes:

• Subjects: ➤  Computable functions - Recursive functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL2815688M
• Library of Congress Control Number (LCCN): 83464240

“Computability and Unsolvability” Metadata:

• Title: ➤  Computability and Unsolvability
• Author: Martin Davis
• Language: English
• Number of Pages: Median: 248
• Publisher: Dover Publications
• Publish Date: 1985

“Computability and Unsolvability” Subjects and Themes:

• Subjects: ➤  Recursive functions - Computable functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL7650144M
• All ISBNs: 0486614719 - 9780486614717

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability
• Author: Joseph R. Shoenfield
• Language: English
• Number of Pages: Median: 111
• Publisher: ➤  American Elsevier - North-Holland Pub. Co.
• Publish Date: 1972
• Publish Location: New York - Amsterdam

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Recursive functions - Symbolic and mathematical Logic - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL4469888M
• Library of Congress Control Number (LCCN): 79184995

“Indeksnye mnozhestva i stepeni nekotorykh klassov rekursivno perechislimykh mnozhestv” Metadata:

• Title: ➤  Indeksnye mnozhestva i stepeni nekotorykh klassov rekursivno perechislimykh mnozhestv
• Author: S. Kallibekov
• Language: rus
• Number of Pages: Median: 83
• Publisher: Izd-vo "Fan" Uzbekskoĭ SSR
• Publish Date: 1983
• Publish Location: Tashkent

“Indeksnye mnozhestva i stepeni nekotorykh klassov rekursivno perechislimykh mnozhestv” Subjects and Themes:

• Subjects: ➤  Recursive functions - Set theory - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL2607381M
• Library of Congress Control Number (LCCN): 85168031

“Forcing, iterated ultrapowers, and Turing degrees” Metadata:

• Title: ➤  Forcing, iterated ultrapowers, and Turing degrees
• Authors: C.-T ChongQi FengT. A. SlamanW. H. WoodinYue Yang
• Language: English
• Number of Pages: Median: 174
• Publisher: World Scientific
• Publish Date: 2015
• Publish Location: New Jersey

“Forcing, iterated ultrapowers, and Turing degrees” Subjects and Themes:

• Subjects: ➤  Forcing (Model theory) - Model theory - Symbolic and mathematical Logic - Unsolvability (Mathematical logic) - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL30395410M
• Library of Congress Control Number (LCCN): 2015018233
• All ISBNs: 9789814699945 - 9814699942

“Bu ke jie wen ti” Metadata:

• Title: Bu ke jie wen ti
• Author: Yucai Lin
• Language: cmn
• Number of Pages: Median: 235
• Publisher: Yunnan jiao yu chu ban she
• Publish Date: 1992

“Bu ke jie wen ti” Subjects and Themes:

• Subjects: ➤  Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL13080709M
• Library of Congress Control Number (LCCN): 94454160
• All ISBNs: 7541505854 - 9787541505850

“The undecidable” Metadata:

• Title: The undecidable
• Author: Davis, Martin
• Language: English
• Number of Pages: Median: 414
• Publisher: ➤  Dover Publications - Dover Publication
• Publish Date: 2004
• Publish Location: Mineola, NY

“The undecidable” Subjects and Themes:

• Subjects: ➤  Turing machines - Recursive functions - Computable functions - Unsolvability (Mathematical logic) - Gödel's theorem - Goedel's theorem

Edition Identifiers:

• The Open Library ID: OL3693276M
• Library of Congress Control Number (LCCN): 2003067180
• All ISBNs: 9780486432281 - 0486432289

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability
• Author: Joseph R. Shoenfield
• Language: English
• Number of Pages: Median: 111
• Publisher: ➤  American Elsevier - North-Holland Pub. Co.
• Publish Date: 1971
• Publish Location: Amsterdam - New York

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Infinity - Unsolvability (Mathematical logic) - MATHEMATICS - Recursive functions - Symbolic and mathematical Logic - Logic

Edition Identifiers:

• The Open Library ID: OL25540368M
• Online Computer Library Center (OCLC) ID: 310913139
• All ISBNs: 9780080871134 - 0080871135

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability
• Author: Richard L. Epstein
• Language: English
• Number of Pages: Median: 240
• Publisher: Springer-Verlag
• Publish Date: 1979
• Publish Location: Berlin - New York

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Unsolvability (Mathematical logic) - Distributive Lattices - Wiskundige logica - Treillis distributifs - Mathematische Logik - Unentscheidbarkeit - Non-resolubilite (Logique mathematique) - Unlo˜sbarkeit

Edition Identifiers:

• The Open Library ID: OL4419513M
• Online Computer Library Center (OCLC) ID: 5675625
• Library of Congress Control Number (LCCN): 79023748
• All ISBNs: 0387097104 - 9780387097107

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability
• Author: M.kManuel Lerman
• Language: English
• Number of Pages: Median: 307
• Publisher: Springer-Verlag
• Publish Date: 1983
• Publish Location: New York - Berlin

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL22618765M
• All ISBNs: 0387121552 - 9780387121550

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability
• Author: M. Lerman
• Language: English
• Number of Pages: Median: 307
• Publisher: Springer-Verlag
• Publish Date: 1983
• Publish Location: Berlin - New York

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL3158803M
• Online Computer Library Center (OCLC) ID: 9217067
• Library of Congress Control Number (LCCN): 83000436
• All ISBNs: 9780387121550 - 0387121552

“Degrees of unsolvability” Metadata:

• Title: Degrees of unsolvability

“Degrees of unsolvability” Subjects and Themes:

• Subjects: ➤  Unsolvability (Mathematical logic) - Distributive Lattices

“Degrees of unsolvability in the theory of programming languages” Metadata:

• Title: ➤  Degrees of unsolvability in the theory of programming languages
• Author: Dennis F. Cudia
• Language: English
• Number of Pages: Median: 123
• Publisher: ➤  Dept. of Computer Science, University of Illinois
• Publish Date: 1971
• Publish Location: Urbana

“Degrees of unsolvability in the theory of programming languages” Subjects and Themes:

• Subjects: ➤  Formal languages - Programming languages (Electronic computers) - Recursive functions - Unsolvability (Mathematical logic)

Edition Identifiers:

• The Open Library ID: OL5393019M
• Library of Congress Control Number (LCCN): 72610341