Computability and logic

Bibliographische Detailangaben

Hauptverfasser:	Boolos, George (VerfasserIn), Burgess, John P. 1948- (VerfasserIn), Jeffrey, Richard C. 1926-2002 (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 2002
Ausgabe:	4. ed., 1. publ.
Schlagworte:	Mathematische Logik Berechenbarkeit
Online-Zugang:	http://www.loc.gov/catdir/description/cam022/2001043302.html Table of contents
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!