Extensions of first order logic

by María Manzano
Bok · Engelsk · 1996

Utgitt	Cambridge : Cambridge University Press , c1996
Omfang	xxii, 388 s.
Emner	First-order logic Andreordens logikk Deduksjon Dynamisk logikk Vis mer... Førsteordens logikk Grammatikker Logikk Matematisk logikk Modal logikk Semantikk Typeteori
ISBN	0521354358