Search
Feedback
About UniCat 
Help
News
| Listing 1 - 2 of 2 |
Sort by
|
ISBN: 0745800343 9780745800349 Year: 1987 Publisher: Chichester Horwood
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Decidability (Mathematical logic) --- Computable functions --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Constructive mathematics --- Logique mathématique --- Récursivité, Théorie de la --- Logique mathematique --- Calculabilite
Book
ISBN: 3540137211 0387137211 3642699677 3642699650 9780387137216 9783540137214 Year: 1987 Volume: 9 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*F11 --- 681.3*F41 --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Logic, Symbolic and mathematical --- Logique mathématique --- Constructive mathematics --- Mathématiques constructives --- Logic, Symbolic and mathematical. --- Logique mathématique. --- Constructive mathematics. --- Mathématiques constructives. --- Logique mathématique --- Récursivité, Théorie de la --- Computational Complexity --- Recursion --- Analysis --- Computability --- Recursive Function --- Flowchart --- Logique mathematique --- Calculabilite --- Computer science
| Listing 1 - 2 of 2 |
Sort by
|