๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On natural number objects, finiteness and Kripke-Platek models in toposes

โœ Scribed by Bruno Loiseau; Mawanda Mbila-Mambu


Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
672 KB
Volume
61
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES