A formalization of set theory without variables

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Tarski, Alfred
Άλλοι συγγραφείς: Givant, Steven R.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Providence American Mathematical Society 1987
Σειρά:American Mathematical Society : Colloquium Publications 41
Θέματα:
LEADER 01266nam a2200301 u 4500
001 10039857
003 upatras
005 20220905102250.0
008 010518s1987 us eng
020 |a 0821810413  |q ((alk.paper)) 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 510.1 
100 1 |a Tarski, Alfred  |9 25811 
245 1 0 |a A formalization of set theory without variables  |c by Alfred Tarski and Steven Givant 
260 |a Providence  |b American Mathematical Society  |c 1987 
300 |a xxi, 318 p.  |c 24 cm. 
490 0 |a American Mathematical Society : Colloquium Publications  |v 41 
504 |a Includes index of subjects and index of numbered items 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Μαθηματικά  |x Φιλοσοφία  |9 308 
700 1 |a Givant, Steven R.  |9 28409 
760 0 |a Colloquium Publications (American Mathematical Society)  |g 41 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΦΙΛΟΣΟΦΙΑ  |k ΑΣΧΞ-4  |h 510.1 T  |m 2500  |p 025000103541  |t 1 
942 |2 ddc  |c BK15 
998 |c Μπουζαμανάκη  |d 2001-05 
999 |c 16962  |d 16962 
952 |0 0  |1 0  |4 0  |6 510_100000000000000_T  |7 0  |9 26589  |a PHIL  |b PHIL  |d 2016-04-24  |i 2500  |l 0  |o 510.1 T  |p 025000103541  |r 2016-04-24  |t 1  |w 2016-04-24  |y BK15