Multiple-conclusion logic

Saved in:
Bibliographic Details
Main Authors: Shoesmith, D. J., Smiley, Timothy John, 1930- (Author)
Format: Livre papier
Language:Anglais
Published: Cambridge [Eng.] ; New York : Cambridge University Press 1978.
Autres localisations: Voir dans le Sudoc
LEADER 00701nam a22001817a 4500
001 15447
008 790322s1978 xxe ||| |||| 00| 0 eng d
009 PPN018736793
020 |a 0521217652 :  |c £15.00 
041 0 |a eng 
082 |a 551/.3 
100 1 |a Shoesmith, D. J. 
245 1 0 |a Multiple-conclusion logic   |c D. J. Shoesmith, T. J. Smiley. 
260 |a Cambridge [Eng.] ;  |a New York :  |b Cambridge University Press,  |c 1978. 
300 |a xiii, 396 p. :  |b ill. ;  |c 24 cm. 
504 |a Bibliogr. p. [386]-389. Index 
700 1 |a Smiley, Timothy John,  |d 1930-  |4 aut 
997 |0 15447  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, B4655