Results 261 to 265 of about 114,330 (265)
Some of the next articles are maybe not open access.
Higher-Order Logic
1993
openaire
copy doi
(10.1017/cbo9780511569906.004)
openaccessbutton.org (pdf)
+1 more source
Higher-order Logics
2013
openaire
copy doi
(10.1093/acprof:oso/9780199669578.003.0009)
openaccessbutton.org (pdf)
+1 more source
Higher-Order Logic
2011
openaire
copy doi
(10.1007/978-1-4899-7687-1_126)
openaccessbutton.org (pdf)
+1 more source
Higher-Order Logic
2001
van Benthem, J.F.A.K., Doets, H.C.
openaire
handle.uba.uva.nl
+1 more source
Higher‐order Logic
2007
exaly
computer science - logic in computer science
mathematics
16. peace & justice
fos: computer and information sciences
logic in computer science cs.lo
f.4.1
higher-order logic type theory
computer science - programming languages
004
previous
25
26
27
Home
-
About
-
Disclaimer
-
Privacy
