Campusbibliothek

Your search returned 11 results.

Sort
Select all Clear all
Select titles to:
Results
1.
Constructivism in mathematics 1 A. S. Troelstra; D. van Dalen by Series: ; 121 | Studies in logic and the foundations of mathematics ; 121
Material type: Text Text; Format: print
Language: English Publisher: Amsterdam North-Holland 1988
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) TRO a 1988:2 1.Ex, ...
Place hold Add to cart
2.
Constructivism in mathematics 2 A. S. Troelstra; D. van Dalen by Series: ; 123 | Studies in logic and the foundations of mathematics ; 123
Material type: Text Text; Format: print
Language: English Publisher: Amsterdam North-Holland 1988
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) TRO a 1988:3 1.Ex.
Place hold Add to cart
3.
Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra, editor by Series: Lecture notes in mathematics ; 344
Material type: Text Text; Format: print
Language: English Publisher: Berlin Heidelberg [u.a.] Springer 1973
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 344.
Place hold Add to cart
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 by Series: Lecture notes in mathematics ; 95
Material type: Text Text; Format: print
Language: English Publisher: Berlin [u.a.] Springer 1969
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 95, ...
Place hold Add to cart
5.
Lectures on linear logic A. S. Troelstra by Series: ; 2900 | Stanford University CSLI lecture notes ; 29 |
Material type: Text Text; Format: print
Language: English Publisher: Menlo Park, Calif. Center for the Study of Language and Information 1992
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) CSLI 29 2.Ex, ...
Place hold Add to cart
6.
Basic proof theory A. S. Troelstra; H. Schwichtenberg by Series: ; 4300 | Cambridge tracts in theoretical computer science ; 43
Material type: Text Text; Format: print
Language: English Publisher: Cambridge [u.a.] Cambridge Univ. Press 1996
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) TRO a 1996:1 1.Ex. Not available: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Place hold Add to cart
7.
Basic proof theory A. S. Troelstra; H. Schwichtenberg by Series: ; 43,2 | Cambridge tracts in theoretical computer science ; 43.2000
Edition: 2. ed.
Material type: Text Text; Format: print
Language: English Publisher: Cambridge [u.a.] Cambridge University Press 2000
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) TRO a 2000:1 1.Ex. Not available: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Checked out (1).
Place hold Add to cart
8.
Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) by Series: ; 1993,5 | Universiteit van Amsterdam ILLC prepublication series / X ; 1993,5 |
Edition: 2., corr. ed.
Material type: Text Text; Format: print
Language: English Publisher: Amsterdam Inst. for Logic, Language and Computation 1993
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) TRO a 1993:1 1.Ex.
Place hold Add to cart
9.
Mathematische Logik 18.01.-24.01.1998 Yiannis Nicholas Moschovakis, Los Angeles; Helmut Schwichtenberg, München; Anne Sjerp Troelstra, Amsterdam by Series: ; 1998,3 | Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht ; 1998,3 |
Material type: Text Text; Format: print
Language: English Publisher: Oberwolfach-Walke Mathematisches Forschungsinstitut 1998
Other title:
  • Mathematical Logic
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Oberwolfach Math. Inst. Oberw. Tagungsbericht Nr. 3/1998.
Place hold Add to cart
10.
Mathematische Logik 07.04. - 13.04.2002 Yiannis Nicholas Moschovakis, Los Angeles; Helmut Schwichtenberg, München; Anne Sjerp Toelstra, Amsterdam by Series: ; 2002,18 | Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht ; 2002,18 |
Material type: Text Text; Format: print
Language: English Publisher: Oberwolfach Math. Forschungsinst. 2002
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Oberwolfach Math. Inst. Oberw. Tagungsbericht Nr. 18/2002.
Place hold Add to cart
11.
Pages

Imprint

Data Protection

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha