Ergebnisse
|
1.
|
|
|
2.
|
|
|
3.
|
The clausal theory of types D. A. Wolfram von Reihen: ; 21 | Cambridge tracts in theoretical computer science ; 21
Auflage: 1. publ.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Cambridge Cambridge University Press 1993
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) WOL d 1993:1 3.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
|
|
4.
|
|
|
5.
|
Type-theoretical grammar Aarne Ranta von Reihen: Oxford science publications | ; 100 | Indices ; 1
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Oxford [u.a.] Clarendon Press 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) RAN a 1994:1 1.Ex, ...
|
|
6.
|
|
|
7.
|
|
|
8.
|
Basic simple type theory J. Roger Hindley von Reihen: ; 4200 | Cambridge tracts in theoretical computer science ; 42
Auflage: 1. publ.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge University Press 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HIN j 1997:1 2.Ex. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HIN j 1997:1 1.Ex.
|
|
9.
|
|
|
10.
|
|
|
11.
|
Categorical logic and type theory Bart Jacobs von Reihen: ; 14100 | Studies in logic and the foundations of mathematics ; 14100
Auflage: 1. ed.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Amsterdam [u.a.] Elsevier 1999
Hochschulschriftenvermerk: Teilw. zugl.: Nijmegen, Univ., Diss., 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) JAC b 1999:1 1.Ex.
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
An introduction to mathematical logic and type theory to truth through proof by Peter B. Andrews von Reihen: ; 2700 | Applied logic series ; 27
Auflage: 2. ed.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Acad. Publ. 2002
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AND p 2002:1 2.Ex. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AND p 2002:1 1.Ex.
|
|
20.
|
|