Incompleteness & Completeness
R.S.S. O'Connor
Incompleteness & Completeness formalizing Logic and Analysis in Type Theory
Paperback151 pagina’sEngels
In het kort
ISBN-13
9789090244556
Uitgever
Verschenen
1 juli 2009
Bibliografisch
ISBN-139789090244556
Editie1
TaalEngels eng
Pagina’s151
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01R.S.S. O'Connor
Herkomst
Werk-id (NSTC)500579050
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500579050 · CB-relatie 7912380 · Bijgewerkt 6 augustus 2026