Ihre Suche erzielte 12 Treffer.

Ergebnisse
	1.	Constructivism in mathematics 1 A. S. Troelstra; D. van Dalen von Troelstra, Anne S, 1939-2019 [aut] Dalen, Dirk van, 1932- [aut] Reihen: ; 121 \| Studies in logic and the foundations of mathematics ; 121 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam North-Holland 1988 Online-Ressourcen: Zentralblatt MATH Inhaltstext 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) TRO a 1988:2 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Constructivism in mathematics 2 A. S. Troelstra; D. van Dalen von Troelstra, Anne S, 1939-2019 [aut] Dalen, Dirk van, 1932- [aut] Reihen: ; 123 \| Studies in logic and the foundations of mathematics ; 123 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam North-Holland 1988 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) TRO a 1988:3 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra, editor von Troelstra, Anne S, 1939-2019 [Hrsg.] Reihen: Lecture notes in mathematics ; 344 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1973 Online-Ressourcen: Cover Inhaltsverzeichnis Inhaltsverzeichnis 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) LNM 344. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Principles of intuitionism lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y. A. S. Troelstra von Troelstra, Anne S, 1939-2019 [aut] Summer Conference on Intuitionism and Proof Theory 1968 Buffalo, NY [oth] Reihen: Lecture notes in mathematics ; 95 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 1969 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis 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) LNM 95, ... Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Lectures on linear logic A. S. Troelstra von Troelstra, Anne S, 1939-2019 [aut] Reihen: ; 2900 \| Stanford University CSLI lecture notes ; 29 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Menlo Park, Calif. Center for the Study of Language and Information 1992 Online-Ressourcen: Zentralblatt MATH Inhaltstext Publisher description 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) CSLI 29 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Basic proof theory A. S. Troelstra; H. Schwichtenberg von Troelstra, Anne S, 1939-2019 [aut] Schwichtenberg, Helmut, 1942- [aut] Reihen: ; 4300 \| Cambridge tracts in theoretical computer science ; 43 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1996 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) TRO a 1996:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Basic proof theory A. S. Troelstra; H. Schwichtenberg von Troelstra, Anne S, 1939-2019 [aut] Schwichtenberg, Helmut, 1942- [aut] Reihen: ; 43,2 \| Cambridge tracts in theoretical computer science ; 43.2000 Auflage: 2. ed. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge University Press 2000 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Publisher description Table of contents 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) TRO a 2000:1 1.Ex. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (1). Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) von Troelstra, Anne S, 1939-2019 [Hrsg.] Reihen: ; 1993,5 \| Universiteit van Amsterdam ILLC prepublication series / X ; 1993,5 \| Auflage: 2., corr. ed. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Inst. for Logic, Language and Computation 1993 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) TRO a 1993:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Mathematische Logik 02.04. - 08.04.1995 Walter Felscher, Tübingen; Helmut Schwichtenberg, München; Anne Sjerp Troelstra, Amsterdam von Felscher, Walter [Hrsg.] Schwichtenberg, Helmut, 1942- [Hrsg.] Troelstra, Anne S, 1939-2019 [Hrsg.] Reihen: ; 1995,13 \| Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht ; 1995,13 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Oberwolfach-Walke Mathematisches Forschungsinstitut 1995 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. 13/1995. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Mathematische Logik 18.01.-24.01.1998 Yiannis Nicholas Moschovakis, Los Angeles; Helmut Schwichtenberg, München; Anne Sjerp Troelstra, Amsterdam von Moschovakis, Yiannis Nicholas [Hrsg.] Schwichtenberg, Helmut, 1942- [Hrsg.] Troelstra, Anne S, 1939-2019 [Hrsg.] Reihen: ; 1998,3 \| Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht ; 1998,3 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Oberwolfach-Walke Mathematisches Forschungsinstitut 1998 Weitere Titel: Mathematical Logic 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. 3/1998. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Mathematische Logik 07.04. - 13.04.2002 Yiannis Nicholas Moschovakis, Los Angeles; Helmut Schwichtenberg, München; Anne Sjerp Toelstra, Amsterdam von Moschovakis, Yiannis Nicholas [Hrsg.] Schwichtenberg, Helmut, 1942- [Hrsg.] Troelstra, Anne S, 1939-2019 [Hrsg.] Reihen: ; 2002,18 \| Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht ; 2002,18 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Oberwolfach Math. Forschungsinst. 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) Oberwolfach Math. Inst. Oberw. Tagungsbericht Nr. 18/2002. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Constructivism in mathematics an introduction A. S. Troelstra; D. van Dalen von Troelstra, Anne S, 1939-2019 [aut] Dalen, Dirk van, 1932- [aut] Reihen: Studies in logic and the foundations of mathematics ; ... Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Amsterdam North-Holland 1988 Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha