natural deduction systems / logical systems / axiomatic systems / on presenting logical systems / /
Person
Elizabeth Karger / Walter Burleigh / Robert Fland / Jean Buridan / Richard Ferrybridge / Richard Lavenham / Ralph Strode / Peter King / Ockham / Richard Billingham / /