HERBRAND E A SILOGÍSTICA AMPLIADA
Author(s) -
Frank Thomas Sautter
Publication year - 2015
Publication title -
philósophos - revista de filosofia
Language(s) - Uncategorized
Resource type - Journals
eISSN - 1982-2928
pISSN - 1414-2236
DOI - 10.5216/phi.v20i1.34776
Subject(s) - predicate (mathematical logic) , conjunctive normal form , predicate logic , predicate variable , first order logic , syllogism , mathematics , disjunctive normal form , computer science , calculus (dental) , algorithm , algebra over a field , discrete mathematics , programming language , pure mathematics , linguistics , philosophy , zeroth order logic , description logic , multimodal logic , medicine , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom