The computer modelling of mathematical reasoning /

Bibliographic Details
Main Author: Bundy, Alan, 1947-
Format: Book
Language:English
Published: London : Academic Press, 1983.
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190409175145.0
008 100309s1983 enk||||| |||| 00| 0 eng d
020 |a 0121412504 
040 |a AR_CdUFM 
100 1 |a Bundy, Alan,  |d 1947-  |9 2401 
245 1 4 |a The computer modelling of mathematical reasoning /  |c  Alan Bundy. 
260 |a London :   |b Academic Press,   |c 1983. 
300 |a xiv, 322 p. :  |b il. ;  |c 23 cm. 
504 |a Bibliography: p. 312-317. 
650 4 |a Lógica matemática. 
942 |c LIBRO  |2   
945 |a AB 
952 |0 0  |1 0  |2 MSC  |4 0  |6 M_03_B942  |7 0  |9 3870  |a MMA  |b MMA  |c 2  |d 2008-06-09  |l 1  |o M 03 B942   |p 08136  |r 2023-01-26 00:00:00  |s 2010-02-19  |w 2008-06-09  |y LIBRO 
999 |c 2941  |d 2941