Computability and logic

Computability and logic

Weitere Versionen anzeigen (20)

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

Gespeichert in:
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!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-12
DE-92
DE-473
DE-19
DE-706
URL des Erstveröffentlichers

Ähnliche Einträge