|
|
|
|
| LEADER |
02081nam a2200349 u 4500 |
| 001 |
10051218 |
| 003 |
upatras |
| 005 |
20210117200511.0 |
| 008 |
040927s1993 us eng |
| 020 |
|
|
|a 0198500483
|
| 040 |
|
|
|a GR-PaULI
|c GR-PaULI
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
4 |
|a 511.3
|
| 100 |
1 |
|
|a Cori, Rene
|9 43277
|
| 245 |
1 |
0 |
|a Mathematical logic
|b a course with exercises
|c Rene Cori and Daniel Lascar; translated by Daniel Lascar
|
| 260 |
|
|
|a New York
|b Oxford university press
|
| 300 |
|
|
|a 2 v.
|c 24 cm.
|
| 504 |
|
|
|a Includes index and bibliograpy
|
| 505 |
0 |
|
|a v.1. propositional calculus, boolean algebras. - 338 p. - predicate calculus. - 1993 -
|a v.2. recursion theory, Godel's Theorems, set theory, Model theory. - 331 p. - 1993 -
|
| 650 |
|
4 |
|a Λογική, Συμβολική και μαθηματική
|9 472
|
| 700 |
1 |
|
|a Pelletier, Donald H.
|9 43278
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΑΣΧΞ
|h 511.3 COR
|m 072802
|p 025000045946
|t 1
|3 v.2
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΑΣΧΞ
|h 511.3 COR
|m 072801
|p 025000045947
|t 1
|3 v.1
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΑΣΧΞ
|h 511.3 COR
|m 076149
|p 025000046913
|t 2
|3 v.1
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΑΣΧΞ
|h 511.3 COR
|m 074580
|p 025000046113
|t 3
|3 v.1
|
| 942 |
|
|
|2 ddc
|c BK15
|
| 952 |
|
|
|0 0
|1 0
|3 v.2
|4 0
|6 511_300000000000000_COR
|7 0
|9 43832
|a LISP
|b LISP
|c BSC
|d 2016-04-24
|i 072802
|l 0
|o 511.3 COR
|p 025000045946
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|y BK15
|
| 952 |
|
|
|0 0
|1 0
|3 v.1
|4 0
|6 511_300000000000000_COR
|7 0
|9 43833
|a LISP
|b LISP
|c BSC
|d 2016-04-24
|i 072801
|l 2
|o 511.3 COR
|p 025000045947
|r 2025-05-15 14:28:57
|s 2025-05-08
|t 1
|w 2016-04-24
|y BK15
|
| 952 |
|
|
|0 0
|1 0
|3 v.1
|4 0
|6 511_300000000000000_COR
|7 0
|9 43834
|a LISP
|b LISP
|c BSC
|d 2016-04-24
|i 076149
|l 3
|m 2
|o 511.3 COR
|p 025000046913
|r 2025-05-15 14:28:57
|s 2025-05-08
|t 2
|w 2016-04-24
|y BK15
|
| 952 |
|
|
|0 0
|1 0
|3 v.1
|4 0
|6 511_300000000000000_COR
|7 0
|9 43835
|a LISP
|b LISP
|c BSC
|d 2016-04-24
|i 074580
|l 4
|m 4
|o 511.3 COR
|p 025000046113
|r 2025-01-14 11:45:21
|s 2024-11-15
|t 3
|w 2016-04-24
|y BK15
|
| 998 |
|
|
|c ΣΑΤΛΑΝΗΣ
|d 2004-09
|
| 999 |
|
|
|c 27944
|d 27944
|
