z-logo
open-access-imgOpen Access
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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom