A Philosophical Introduction to Higher-order Logics
from $56.75
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
from $28.05
Programming with Higher-Order Logic
$57.40
from $48.07
Higher-Order Metaphysics
from $135.00
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
$71.64
from $66.98
Intensional and Higher-Order Modal Logic
$31.95
from $29.82
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
$53.98
from $47.29
Evan-Moor Daily Higher-Order Thinking, Grade 1, Homeschooling and Classroom Resource Workbook, Brainteasers, Critical Thinking, Problem Solving, Logic Puzzles, Language Play, Drawing
from $3.68
Higher Order Logic
from $9.49
Evan-Moor Daily Higher-Order Thinking, Grade 5, Homeschooling and Classroom Resource Workbook, Brainteasers, Critical Thinking, Problem Solving, Logic Puzzles, Language Play, Drawing
from $8.28
More results from Amazon »