Computability and logic

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Boolos, George (VerfasserIn), Jeffrey, Richard C. 1926-2002 (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Pr. 1989
Ausgabe:	3. ed.
Schlagworte:	Berekenbaarheid Fonctions calculables Fonctions récursives Logica Logique symbolique et mathématique calculabilité logique 1er ordre logique ordre 2 récursivité théorème incomplétude Logik Computable functions Logic, Symbolic and mathematical Recursive functions Mathematische Logik Berechenbarkeit
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge