Extensions of first order logic /
Series: Cambridge tracts in theoretical computer science 99-0691101-8 . 19 Published by : Cambridge Univ. Press (Cambridge) Physical details: xxii, 388 s. ISBN:0521354358.
Subject(s):
Symbolisk logik
|
Axioms
|
First-order logic
|
Logic, Symbolic and mathematical
|
Mathematical logic
|
Axiom
|
Logik
|
First-order logic
|
Logik
Year: 1996
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book (loan) | Gräsvik | 511 | Available | 40000007634 |
S. [352]-363: Bibliografi