Theories with type-free application and extended bar induction / Gerard Rudolf Renardel de Lavalette - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Theories with type-free application and extended bar induction / Gerard Rudolf Renardel de Lavalette

Theories with type-free application and extended bar induction / Gerard Rudolf Renardel de Lavalette

http://data.bibliotheken.nl/id/nbt/p85103683X

06500a823a3499ca3f83094037c1edbc

mainEntity

Theories with type-free application and extended bar induction / Gerard Rudolf Renardel de Lavalette

http://data.bibliotheken.nl/id/nbt/p85103683X

about

author

description

Proefschrift Universiteit van Amsterdam, 1985

http://www.w3.org/2001/XMLSchema#string

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

06500a823a3499ca3f83094037c1edbc

name

Theories with type-free application and extended bar induction

http://www.w3.org/2001/XMLSchema#string

numberOfPages

153

http://www.w3.org/2001/XMLSchema#integer

publication

7fc2bfe3bf1ae974258b79439f264862

sameAs

type

label

Theories with type-free applic ...... d Rudolf Renardel de Lavalette

http://www.w3.org/2001/XMLSchema#string