Search Results - Pudlak, Pavel 1952-

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Metamathematics of first-order arithmetic by Hajek, Petr

    Published 1993
    Other Authors: “…Pudlak, Pavel 1952-…”
    Click Here to View Status and Holdings.
    Unknown