Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Mathematische Logik von Felscher, Walter Schwichtenberg, Helmut Troelstra, Anne Sjerp (Ltg.) Reihen: Mathematisches Forschungsinstitut Oberwolfach <Oberwolfach> : Tagungsbericht Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Mathematisches Forschungsinstitut 1992 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) Oberwolfach Math. Inst. Oberw. Tagungsbericht Nr. 16/1992. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Basic proof theory von Troelstra, Anne Sjerp (Ltg.) Schwichtenberg, Helmut Reihen: Cambridge Tracts in Theoretical Computer Science Auflage: trans. to dig. print. Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Cambridge University Press 2003 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) TRO a 2003: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) TRO a 2003:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche