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

Bibliographic Item (1.0)

Church56

  1. Alonzo Church
  2. Introduction to mathematical logic: Volume I
  3. Princeton Univ Press 1956 No17 in Princeton mathematical series
  4. =TEXT LOGIC
  5. Skolem normal form in section 42 &43

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]