An introduction to mathematical logic and type theory : to truth through proof /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Andrews, P. B. (Peter Bruce), 1937-
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Orlando : Academic Press, 1986.
Σειρά:Computer science and applied mathematics
Θέματα:
Logic, Symbolic and mathematical.
Type theory.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000nam a2200000u 4500
001 00781983
003 PWmBRO
005 20240602101634.0
008 850809s1986 flu b 00110 eng
020 |a 0120585359 (alk. paper) 
020 |a 0120585367 (pbk. : alk. paper) 
050 0 |a QA9  |b .A638 1986 
082 0 |a 511.3�19 
090 |b 511.3/A568i 
100 1 0 |a Andrews, P. B.  |q (Peter Bruce),  |d 1937- 
245 1 3 |a An introduction to mathematical logic and type theory :  |b to truth through proof /  |c Peter B. Andrews. 
260 0 |a Orlando :  |b Academic Press,  |c 1986. 
300 |a xv, 304 p. 
440 0 |a Computer science and applied mathematics 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Type theory. 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_A568I  |7 0  |8 MN  |9 62448  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 511.3 A568i  |p 065438  |r 2018-03-24 00:00:00  |w 2018-03-24  |y BK 
999 |c 45821  |d 45821 

Παρόμοια τεκμήρια