Home Advanced Search

Advanced Search - Page 1

Logic Colloquium ’98: Lecture Notes in Logic 13
  • PDF
  • English
  • Year: 2000
  • Author: Sam Buss, Petr Hajek, Pavel Pudlak
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
Metamathematics of Fuzzy Logic
  • DJVU
  • English
  • Year: 1998,2001
  • Author: Petr Hajek
Goedel '96: Proc. Brno 1996
  • DJVU
  • English
  • Year: 1996
  • Author: Petr Hajek
The theory of semisets
  • DJVU
  • English
  • Year: 1972
  • Author: Petr Vopenka, Petr Hajek
Novel Financial Applications of Machine Learning and Deep Learning: Algorithms, Product Modeling, and Applications
  • PDF
  • English
  • Year: 2023
  • Author: Mohammad Zoynul Abedin, Petr Hajek
Novel Financial Applications of Machine Learning and Deep Learning: Algorithms, Product Modeling, and Applications
  • EPUB
  • English
  • Year: 2023
  • Author: Mohammad Zoynul Abedin; Petr Hajek
A lattice of chapters of mathematics (interpretations between theorems [theories])
  • DJVU
  • English
  • Year: 1990
  • Author: Jan Mycielski, Pavel Pudlak, Alan S. Stern
A Lattice of Chapters of Mathematics (Interpretations Between Theorems)
  • PDF
  • English
  • Year: 1990
  • Author: Jan Mycielski, Pavel Pudlak, Alan S. Stern
search