Ackermann's Implication for Typefree Logic

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftJournal of Logic and Computation
Vol/bind11
Sider (fra-til)5-23
Antal sider19
ISSN0955-792X
StatusUdgivet - 2001

Citer dette

@article{0d8a30c0db2711dc860c000ea68e967b,
title = "Ackermann's Implication for Typefree Logic",
author = "Klaus Robering",
year = "2001",
language = "English",
volume = "11",
pages = "5--23",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Heinemann",

}

Ackermann's Implication for Typefree Logic. / Robering, Klaus.

I: Journal of Logic and Computation, Bind 11, 2001, s. 5-23.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Ackermann's Implication for Typefree Logic

AU - Robering, Klaus

PY - 2001

Y1 - 2001

M3 - Journal article

VL - 11

SP - 5

EP - 23

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

ER -