Refine your search
- Availability
-
Authors
- Hajek,Petr (1)
- Pudlak, Pavel (1)
- Pudlak,Pavel (1)
- Holding libraries
- Home libraries
-
Item types
- Books (2)
-
Series
-
Topics
- Airthmetic (1)
- Computer software (1)
- Logic, Symbolic and mathematical (1)
- Mathematics (1)
- Metamathematics (1)
- Show more