Loading...
Metamathematics of first - order arithmetic /
Main Author: | Hajek , Petr |
---|---|
Other Authors: | Pudlak , Pavel (Author .) |
Format: | Printed Book |
Language: | English |
Published: |
Cambridge :
Cambridge University Press ,
1998 .
|
Series: | Perspective in logic .
|
Similar Items
-
Metamathematics of fuzzy logic /
by: Hajek, Petr
Published: (1998) -
Metamathematics of algebraic systems /
by: Malcev, A.I
Published: (1971) -
Recursion theory for metamathematics.
by: Smullyan, Raymond M.
Published: (1993) -
Metamathematics, machines and Godel's proof.
by: Shankar, N
Published: (1994) -
Introduction to model theory and to the metamathematics of algebra /
by: Robinson Abraham
Published: (1965)