Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Davis, Martin
Davis, Martin D.
Sigal, Ron
Weyuker, Elaine J.
Item types
Books
Series
Computer scienc and ...
Topics
Boole, George
Cantor
Computational comple...
Computer scienc and ...
Electronic digital c...
Formal languages
Hilbert
Leibniz
Machine theory
Mathematicians - Bio...
Nonstandard mathemat...
Your query retrived 3 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Computability, complexity and language : fundamentals of theoretical computer science
by
Davis, Martin D
|
Sigal, Ron
|
Weyuker, Elaine J.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
San Diego: Academic Press, 1994
Availability:
Items available for loan:
[
Call number:
511.3 DAV] (1).
Place hold
2.
Applied nonstandard analysis
by
Davis, Martin.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Mineola: Dover Publications, 2005
Availability:
Items available for loan:
[
Call number:
515 DAV] (1).
Place hold
3.
Universal computer : the road from Leibniz to Turing
by
Davis, Martin.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boca Raton: CRC Press, 2011
Availability:
Items available for loan:
[
Call number:
004 DAV] (1).
Place hold
Powered by
Koha