Home Advanced Search

Advanced Search - Page 1

The theory of semisets
  • DJVU
  • English
  • Year: 1972
  • Author: Petr Vopenka, Petr Hajek
The theory of semisets
  • DJVU
  • English
  • Year: 1972
  • Author: Petr Vopenka, Petr Hajek
Mathematics in the Alternative Set Theory
  • PDF
  • English
  • Year: 1979
  • Author: Petr Vopenka
Metamathematics of Fuzzy Logic
  • DJVU
  • English
  • Year: 1998,2001
  • Author: Petr Hajek
Goedel '96: Proc. Brno 1996
  • DJVU
  • English
  • Year: 1996
  • Author: Petr Hajek
New Infinitary Mathematics
  • PDF
  • English
  • Year: 2023
  • Author: Petr Vopenka, Alena Vencovská (editor)
Metamathematics of First-Order Arithmetic
  • PDF
  • English
  • Year: 1998
  • Author: Petr Hajek, Pavel Pudlak
Metamathematics of first-order arithmetic
  • DJVU
  • English
  • Year: 1998
  • Author: Petr Hajek, Pavel Pudlak