Formal number theory and computability A workbook

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Fisher, Alec (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Oxford Clarendon Press 1982
Schriftenreihe:	Oxford logic guides. 7.
Schlagworte:	Axiomatique Calculabilité Exercice logique Gödel, Théorème de Incomplétude, Théorèmes d' Indécidabilité Nombres, Théorie des Théorie nombre Théorèmes d'incomplétude Wiskundige logica Gödel's theorem Incompleteness theorems Number theory Berechenbarkeit Mathematische Logik Zahlentheorie
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge