Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
AFDELING ZUIVERE WISKUNDE / MATHEMATISCH CENTRUM : ZW 79/76
1976
Signatur: TCL2402

Proof theory and logical complexity
Studies in proof theory : Monographs : ...
Signatur: TCL4836-...







Elementare Beweistheorie
1994
Signatur: TCL4234



Finite model theory
Perspectives in mathematical logic
1995
Signatur: TCL4315






The classical decision problem
Perspectives in mathematical logic
1997
Signatur: TCL4543

Diagonalization and self-reference
Oxford logic guides : 27 (Alle Bände), Oxford science publications
1994
Signatur: TCL4161

The logic of provability
1993
Signatur: TCL4153




Many valued logics
Oxford logic guides : 25 (Alle Bände), Oxford science publications
1993
Signatur: TCL4080

Categories for types
Cambridge mathematical textbooks
1993
Signatur: TCL4111
Aktive Filter
Autor / AutorinTroelstra, Anne S