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

Bibliographic Item (1.0)

Beeson81

  1. Michael J Beeson
  2. Formalizing Constructive Mathematics: Why and How?
  3. Constructive Mathematics Spring Verlag Lecture Notes in Mathemetics V873 pp146-190 1981
  4. =THEORY FORMAL LOGIC
  5. LPT::="Logic of Partial Terms"
  6. Compare [Schock68] [Parnas93] [JonesCB95] and [PVS] LPF:=Logic of Partial Functions

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]