Search Results for Mathematical logic. - Narrowed by: Ontology.

Belief Revision in Non-Classical Logics

2024-11-18T17:18:25Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

2024-11-18T17:18:25Z

Author Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4435-6
Format: Electronic Resources
Availability Online Library~1

Logicism, Intuitionism, and Formalism What has Become of Them?

2024-11-18T17:18:25Z

Author Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: Electronic Resources
Availability Online Library~1

Brouwer Meets Husserl On the Phenomenology of Choice Sequences

2024-11-18T17:18:25Z

Author Atten, Mark. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5087-9
Format: Electronic Resources
Availability Online Library~1