On the "until induction" in natural deduction for PLTL

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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 25 Jan 2010 15:25
Last Modified: 25 Jan 2010 15:25
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/7338

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)