Loading...

Metamathematics of first - order arithmetic /

Bibliographic Details
Main Author: Hajek , Petr
Other Authors: Pudlak , Pavel (Author .)
Format: Printed Book
Language:English
Published: Cambridge : Cambridge University Press , 1998 .
Series:Perspective in logic .
LEADER 00704nam a2200169 4500
008 190411b ||||| |||| 00| 0 eng d
999 |c 333905  |d 333905 
020 |a 9781107168411 
100 |a Hajek , Petr  
245 |a Metamathematics of first - order arithmetic /  |c Petr Hajek ,Pavel Pudlak . 
260 |a Cambridge :  |b Cambridge University Press ,  |c 1998 . 
300 |a xiv , 460 p . 
490 |a Perspective in logic . 
700 |a Pudlak , Pavel.  |e Author . 
942 |2 ddc  |c BK 
952 |0 0  |1 0  |2 ddc  |4 0  |7 0  |9 381770  |a MAT  |b MAT  |c ST1  |d 2019-04-11  |i 7279  |l 0  |p MAT7279  |r 2019-04-11  |w 2019-04-11  |y BK 
952 |0 0  |1 0  |4 0  |7 0  |9 403723  |a MAT  |b MAT  |c ST1  |d 2020-03-10  |e 2  |g 8462.16  |i 7588  |l 0  |p MAt7588  |r 2020-03-10  |v 11592.00  |w 2020-03-10  |y BK