You have chosen 'The Architecture of Mathematics' by Nicholas Bourbaki, 'Conditional Assertion and Restricted Quantification' by Nuel D. Belnap and 'On the Introduction of Transfinite Numbers' by John von Neumann
start again | choose another area for these texts | all the ideas for this combination of textsAll the ideas for Theory of Logic, or select a subheading: |