Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
FLoC '02 - Federated Logic Conference
FLoC '02 - Federated Logic Conference
2024-07-03
Science, Math, Logic and Foundations, Meetings - FLoC '02 - Federated Logic Conference. Seven concurrent meetings will be held.