Computability and logic

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from T...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Boolos, George 1940-1996 (VerfasserIn), Burgess, John P. (VerfasserIn), Jeffrey, Richard C. 1926-2002 (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press 2007
Ausgabe:	Fifth edition
Schlagworte:	Computable functions Recursive functions Logic, Symbolic and mathematical Mathematische Logik Berechenbarkeit
Online-Zugang:	DE-12 DE-92 DE-473 DE-19 DE-706 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!