TY - BOOK ID - 6232767 TI - Unsolvable classes of quantificational formulas PY - 1979 SN - 0201040697 9780201040692 PB - Reading (Mass.) : Addison-Wesley, DB - UniCat KW - Unsolvability (Mathematical logic) KW - Combinatorial analysis KW - Computable functions KW - 510.6 KW - #WWIS:ALTO KW - Degrees of unsolvability KW - Turing degrees of unsolvability KW - Recursive functions KW - Computability theory KW - Functions, Computable KW - Partial recursive functions KW - Recursive functions, Partial KW - Constructive mathematics KW - Decidability (Mathematical logic) KW - Combinatorics KW - Algebra KW - Mathematical analysis KW - Mathematical logic KW - Combinatorial analysis. KW - Computable functions. KW - Unsolvability (Mathematical logic). KW - 510.6 Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:6232767 AB - ER -