Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuit - detaljert visning

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

Annen tittel	Automated deduction in nonclassical logic

Utgitt	Cambridge, Mass. : MIT Press , c1990
Omfang	239 s. : ill.
Opplysninger	Omarbeidet utgave av forfatterens avhandling (doktorgrad) - University of Edinburgh
Emner	Intuitionistic mathematics Modality (Logic) Proof theory Automatisk bevisføring Vis mer... Bevisføring (Matematikk) Modal logikk deduksjon logisk slutning symbolsk logikk bevisteori modalintuisjonistisk
ISBN	0262231441

Biblioteksøk