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

A Note on Finiteness in the Predicative Foundations of Arithmetic

โœ Scribed by Fernando Ferreira


Book ID
111534211
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
70 KB
Volume
28
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Math
โœ Krรกloviฤ, Rastislav; Niwiล„ski, Damian ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 258 KB

This Book Constitutes The Refereed Proceedings Of The 34th International Symposium On Mathematical Foundations Of Computer Science, Mfcs 2009, Held In Novy Smokovec, High Tatras, Slovakia, In August 2009. The 56 Revised Full Papers Presented Together With 7 Invited Lectures Were Carefully Reviewed A