Kripke models for subtheories of CZF : Computability in Europe; Logic and theory of algorithms
In: ARCHIVE FOR MATHEMATICAL LOGIC 49(2):147-168; Jg. 49 (2010) 2, S. 147-168
Online
Konferenz
Zugriff:
Titel: |
Kripke models for subtheories of CZF : Computability in Europe; Logic and theory of algorithms
|
---|---|
Autor/in / Beteiligte Person: | Iemhoff, R. |
Link: | |
Quelle: | ARCHIVE FOR MATHEMATICAL LOGIC 49(2):147-168; Jg. 49 (2010) 2, S. 147-168 |
Veröffentlichung: | 2010 |
Medientyp: | Konferenz |
ISSN: | 0933-5846 (print) |
Sonstiges: |
|