Yazar
Dubucs, Jacques. editor.
Format:
Electronic Resources
Alıntı:
complexity, and resolving the dissonances between proof theoretical semantics and canonical proof feasibility
View Other Search Results
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
; Martin Stokhof -- Logic of and for Language, and Logic of and for Mind; Hans Kamp -- Logic and Complexity
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: