Vollständige Systeme modaler und intuitionistischer Logik.

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Schuette, Kurt
Formatua: Liburua
Hizkuntza:alemana
Argitaratua: Berlin, Heidelberg, New York Springer 1968
Saila:Ergebnisse der Mathematik und ihrer Grenzgebiete Bd 42
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Order eBook:
Order Book: Login to order
Search Result 1

Proof Theory ("Beweistheorie"[Engl.]) nork Schuette, Kurt

Argitaratua 1977
Liburua
Search Result 2

Beweistheorie nork Schuette, Kurt

Argitaratua 1960
Liburua