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
Fitting, Melvin
Item types
Books
Series
Graduate texts in co...
Studies in logic
Synthese library
Topics
Automatic theorem pr...
Incompleteness theor...
Logic, Symbolic and ...
Modality (Logic)
Set theory
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.
First-order logic and automated theorem proving
by
Fitting, Melvin.
Edition:
2nd ed.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
New York: Springer-Verlag, 1996
Availability:
Items available for loan:
[
Call number:
511.3 FIT] (1).
Place hold
2.
First-order modal logic
by
Fitting, Melvin.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Dordrecht: Kluwer Academic Publishers, 1998
Availability:
Items available for loan:
[
Call number:
160 FIT] (1).
Place hold
3.
Incompleteness in the land of sets
by
Fitting, Melvin.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
London: College Publications, 2007
Availability:
Items available for loan:
[
Call number:
511.3 FIT] (1).
Place hold
Powered by
Koha