A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999 (Q1574777)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999 |
scientific article; zbMATH DE number 1489613
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999 |
scientific article; zbMATH DE number 1489613 |
Statements
A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999 (English)
0 references
13 August 2000
0 references
Trento (Italy)
0 references
Proceedings
0 references
Conference
0 references
Realizability semantics
0 references
