Results 291 to 297 of about 16,571,812 (297)
Some of the next articles are maybe not open access.
Higher‐order Logic
2009
Stewart Shapiro
exaly
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
A Defense of Second-Order Logic
Axiomathes
, 2010
exaly
Higher-Order Logic
2001
van Benthem, J.F.A.K., Doets, H.C.
openaire
handle.uba.uva.nl
+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
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
004
computer science - programming languages
previous
28
29
30
Home
-
About
-
Disclaimer
-
Privacy
