A konnektív logikák szemlélete - A View of Connexive Logics

Ez a könyv az első monográfia a konnektív logikák témakörében, a nem-klasszikus logikák egy...

Egységesítő nyelvtanok - Unification Grammars

A természetes nyelvek nyelvtanai a számítógépes programokhoz hasonlóan matematikai objektumokként fejezhetők ki. A nyelvtanok...

Bizonyításelméleti szemantika - Proof-theoretic Semantics

Ez a könyv egy monográfia a bizonyításelméleti szemantika témakörében, amely a hagyományosabb...

Nissim Francez szerző bemutatása:

Nissim Francez szerző eddig megjelent könyvei: