to truth through proof
02. - 2nd ed.
Material description : XVIII-390 p.
Note : Note : Bibliogr. p. 371-380. Index
Edition : Dordrecht ; Boston : Kluwer Academic publ. , 2002
Material description : In-8° (23 cm), XVI-143 p. [Acq. 992-66]
Note : Note : Studies in logic and the foundations of mathematics
Edition : Amsterdam : North-Holland publishing C°. , 1965
The Virtual International Authority File (VIAF) is an international authority file. It is a joint project of several national libraries
IdRef is the authority database (author, title) of the union catalogue for France's higher education libraries (SUDOC)
ISNI is an international certified number (ISO 27729) that uniquely identifies persons and organisations.