[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

WhiteheadRussell63
  1. Alfred North Whitehead & Bertrand Russell
  2. Principia Mathematica(2nd Edition) Vol 1
  3. OUP UK: Oxford University Press England 1963
  4. =CLASSIC logic RELATIONS SETS PREDICATES structures regular TYPES
  5. dotty notation and fun typographical symbols.
  6. Attempting to show that the whole of mathematics is a subset of formal logic.
  7. To resolve paradoxes introduced the theory of types.
  8. To make type system work invented generic expressions "Typical ambiguity".
  9. Interesting model of induction and the theory of "..." via transitive closures.
  10. Republished as [WhiteheadRussell97]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]