Computability and logic

Book Cover
Author
Boolos, George
Publisher
Cambridge University Press
Publication Date
2007
Language
English

Description

Loading Description...

Published Reviews

Subjects

Subjects
Berechenbarkeit
Berekenbaarheid
Computable functions
COMPUTERS
COMPUTERS -- Machine Theory
COMPUTERS / Machine Theory
Electronic books
Fonctions calculables
Fonctions récursives
Infinity
Logic
Logic, Symbolic and mathematical
Logica
Logik
Logique symbolique et mathématique
Machine Theory
MATHEMATICS
MATHEMATICS -- Infinity
MATHEMATICS -- Logic
Mathematische Logik
Recursive functions
Symbolisk logik

More Details

Contributors
Burgess, John P.,1948-
Jeffrey, Richard C
ISBN
9780521701464
9780511076497
9781107086500
9780511366680
9780521877527
9780511649448
9780511573972
9781107124998
9780511366055
9780511202292
9786612389924
9780511804076
9781107183056
051136668
9781139164931
9781283329576
9786613329578
9780511078064

Staff View

Loading Staff View.