Logicism, intuitionism and formalism : what has become of them? / Sten Lindstrom ... [ e altri ], editors

• Record Nr.: UNINA990008846620403321
• Pubbl/distr/stampa: Dordrecht : Springer, c2009
• ISBN: 978-1-4020-8925-1
• Descrizione fisica: 24 cm
• Disciplina: 510.1
• Locazione: MA1
• Collocazione: C-25-(341
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia