Metamathematics, machines and Gödel's proof

Bibliographische Detailangaben

1. Verfasser:	Shankar, Natarajan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Pr. 1994
Schriftenreihe:	Cambridge tracts in theoretical computer science 38
Schlagworte:	Mathematische Logik > Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!