Hybrid logic and its proof-theory /

Description

Doktordisputats, Roskilde universitet.

Links & Downloads

1. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016672720&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

Tags

Hybrid logik. Beweistheorie. Logik.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/476187955
Date	January 1900
Creators	Braüner, Torben.
Publisher	Roskilde : Roskilde University, Computer Science,
Source Sets	OCLC
Language	English
Detected Language	English