It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
July 30, 2019
Edit
History of edits to

Theorem proving with analytic tableaux and related methods

Revision When Who Comment Diff
5 July 30, 2019
MARC Bot
 associate edition with work OL3266526W    
4 December 4, 2010
Open Library Bot
 Added subjects from MARC records.    
3 April 28, 2010
Open Library Bot
 Linked existing covers to the work.    
2 February 13, 2010
WorkBot
 add more information to works    
1 December 10, 2009
WorkBot
 add works page