> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Teorija formalʹnych sistem Werktitel: Theory of formal systems <russ.> Smullyan, Raymond M.: Theory of formal systems <russ.> Beteiligte: Smullyan, Raymond M. [Verfasser:in]; Erschienen: Moskva: Nauka, 1981 Erschienen in: Matematičeskaja logika i osnovanija matematiki Umfang: 207 S. Sprache: Russisch; Englisch RVK-Notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SI 830 : Annals of mathematics studies. Hrsg. v. Princeton University Schlagwörter: Rekursivität Entscheidbarkeit Entstehung: Anmerkungen: In kyrill. Schr., russ
Bereichsbibliothek DrePunct – Magazin Signatur: 0882 80235 001 Barcode: 32016508 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung