Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
AUTHORS (1-4 of 4)
Stenlund Soren
1
Mark
Combinators, Lambda-terms and prrof theory.
Stenlund, Sören.
Dordrecht : Reidel, 1972.
1972
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 S8
8 WEEK LOAN
AVAILABLE
2
Mark
Introduction to combinatory logic
Stenlund, Sören.
Uppsala : Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen, 1971.
1971
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q QA 9.5 S8
8 WEEK LOAN
AVAILABLE
3
Mark
The logic of description and existence.
Stenlund, Sören.
Uppsala : Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet, 1973.
1973
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q BC 199 D4 S8
8 WEEK LOAN
AVAILABLE
4
Mark
Logical theory and semantic analysis.
Stenlund, Sören.
Dordrecht : Reidel, 1974.
1974
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 57 S8
8 WEEK LOAN
AVAILABLE