Extensions of first order logic

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


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

Biblioteksøk