skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Index

Proof theory

Gaisi Takeuti 1926-2017.

1975

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.54 .T34 1975 )()

  • Title:
    Proof theory
  • Author: Gaisi Takeuti 1926-2017.
  • Publication Date: 1975
  • Publisher: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co.
  • Format: vii, 372 p. ; 23 cm.
  • Identifier: ISBN 0444104925 (American Elsevier)
  • Subjects: Proof theory
  • Language: English
  • Source: 01DAL UDM ALMA

Searching Remote Databases, Please Wait