Giovanni Sambin, Jan M. Smith (eds.): Twenty-five years of constructive type theory: Proceedings of a Congress Held in Venice, October 1995

Title:

Giovanni Sambin, Jan M. Smith (eds.): Twenty-five years of constructive type theory: Proceedings of a Congress Held in Venice, October 1995

Creator:

Pudlák, Pavel

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:7be024ab-1ef7-40e7-93eb-1646d8b72916
uuid:7be024ab-1ef7-40e7-93eb-1646d8b72916

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

Autor recenze: Pavel Pudlák

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Coverage:

668-668

Source:

Mathematica bohemica | 2001 Volume:126 | Number:3

Harvested from:

CDK

Metadata only:

false