Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	The Curry-Howard isomorphism edited by Ph. de Groote von DeGroote, Philippe [Hrsg.] Reihen: ; 8 \| Cahiers du Centre de Logique ; 8 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Louvain-la-Neuve Academia 1995 Online-Ressourcen: Zentralblatt MATH Inhaltstext 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) GRO ph 1995:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Elementary set theory with a universal set M. Randall Holmes von Holmes, M. Randall [aut] Reihen: ; 10 \| Cahiers du Centre de Logique ; 10 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Louvain-La-Neuve Academia Bruylant 1998 Online-Ressourcen: Zentralblatt MATH Inhaltstext 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) HOL m4 1998:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche