Anne Sjerp Troelstra
Affiliations: University of Amsterdam, Amsterdam, The Netherlands
According to our database^{1},
Anne Sjerp Troelstra
authored at least 12 papers
between 1974 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on id.loc.gov

on dnb.info

on uva.nl

on isni.org
On csauthors.net:
Bibliography
2000
Basic proof theory, Second Edition.
Cambridge tracts in theoretical computer science 43, Cambridge University Press, ISBN: 9780521779111, 2000
1999
Theor. Comput. Sci., 1999
Stud Logica, 1999
1996
Basic proof theory.
Cambridge tracts in theoretical computer science 43, Cambridge University Press, ISBN: 9780521572231, 1996
1995
Ann. Pure Appl. Log., 1995
1992
Tutorial on Linear Logic.
Proceedings of the Logic Programming, 1992
1991
Proceedings of the Computer Science Logic, 5th Workshop, 1991
1987
Theor. Comput. Sci., 1987
1986
Notre Dame J. Formal Log., 1986
1983
J. Philos. Log., 1983
1977
J. Symb. Log., 1977
1974
J. Symb. Log., 1974