海量图书期刊资源,随时随地畅享阅读乐趣
First order logic without equality on relativized semanticsBanerjee, Amitayu; Khaled, Mohamed · Annals of Pure and Applied Logic · 2018
Logic Without Borders (Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics) || The Doxastic Interpretation of Team SemanticsHirvonen, Åsa; Kontinen, Juha; Kossak, Roman; Villaveces, Andrés · 2015
[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - A continuum of theories of lambda calculus without semanticsSalibra, A. · 2001
Uit de formele hoekVerkuyl, H.J. · Nederlandse taalkunde · 2009
Temporal Insulation; on the Construction of EventsVerkuyl, H.J. · Dutch Crossing · 1985
Tense and temporal reference in German: Dieter Wunderlich, Tempus und Zeitreferenz im Deutschen. Linguistische Reihe 5. Max Hueber Verlag, Müchen 1970, 358 pp. DM 19,-.H.J. Verkuyl · 1973