Back to Results
First PageMeta Content
Metalogic / Model theory / Predicate logic / Structure / Free variables and bound variables / FO / Arity / Mathematics / Universal algebra / Mathematical logic


Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3
Add to Reading List

Document Date: 2011-01-28 11:35:50

Open Document

File Size: 237,30 KB

Share Result on Facebook

Currency

pence / /

OperatingSystem

Sequent / /

Person

Claude Kir / M. Instead / /

Position

Mp / given model / /

Product

M-16 / /

Technology

http / /

URL

http /

SocialTag