Showing 1 - 3 results of 3 for search 'Pudlak, Pavel 1952-', query time: 0.01s Refine Results
  1. 1
  2. 2

    Metamathematics of first - order arithmetic by Hajek, Petr

    Published 1998
    Other Authors: “…Pudlak, Pavel 1952-…”
    Book
  3. 3