Computability computable functions, logic, and the foundations of mathematics

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Epstein, Richard L. 1947- (VerfasserIn), Carnielli, Walter Alexandre 1952- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Belmont, Calif. Wadsworth/Thomson Learning 2000
Ausgabe:	2. ed.
Schlagworte:	Computable functions Gödel's theorem Logic, Symbolic and mathematical Arithmetik Berechenbarkeit Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge