Showing
1 - 2
results of
2
Skip to content
This is the test environment.
The production environment is at
libcat.colorado.edu
This is the test environment.
The production environment is at
libcat.colorado.edu
This is the test environment.
The production environment is at
libcat.colorado.edu
This is the test environment.
The production environment is at
libcat.colorado.edu
University Libraries Home
Law Library Home
Login to My Library Account
Help
Library Catalog
All Fields
Title
Journal Title
Author
Subject
Call Number
ISBN/ISSN
Series
Browse Alphabetically: By Topic
Browse Alphabetically: By Author
Browse Alphabetically: By Title
Browse Alphabetically: By Call Number
Search
Advanced
Limit to Law Library
Author
Eastlund, Carl
Search Results - Eastlund, Carl
Showing
1 - 2
results of
2
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Export
Print
Save
Select all entries on the page
Select result number 1
1
The little prover /
by
Friedman, Daniel P.
,
Eastlund, Carl
Published 2015
Call Number:
Loading…
Located:
Loading…
Full Text (via IEEE)
eBook
Standalone Record
Save to List
Saved in:
Select result number 2
2
The little prover /
by
Friedman, Daniel P.
Published 2015
Other Authors:
“…
Eastlund, Carl
…”
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Standalone Record
Save to List
Saved in:
Export
Print
Save
Select all entries on the page
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Automatic theorem proving
LISP (Computer program language)
Loading...
