Bolotov, Alexander (2009) On the "until induction" in natural deduction for PLTL. In: International conference "6th Smirnov's Readings in Logic" June 17-19, 2009, Moscow, Russia. Faculty of Philosophy, Lomonosov Moscow State University. ISBN 9875882893711
Full text not available from this repository.
| Item Type: | Book Section |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 7338 |
| Deposited On: | 25 Jan 2010 15:25 |
| Last Modified: | 25 Jan 2010 15:25 |
Repository Staff Only: item control page
