Rapid Finder
Dynamic Semantics with Choice Functions Essay by Jaroslav Peregrin formalising an approach to dynamic logic which introduces choice functions such as exist in ZFC set theory.		Sponsorized Links

© Rapid Finder - All rights reserved - users online
- HomePage - Last Requests - Suggest a site - Other Searchengines - Directory - •Français •English