Dependence logic : a new approach to independence friendly logic /

Dependence logic : a new approach to independence friendly logic /

32

מידע ביבליוגרפי
מחבר ראשי: Vaananen, J., (Jouko), 1950-
פורמט:
שפה:eng
יצא לאור: Cambridge, UK : Cambridge University Press, 2007
נושאים:
First-order logic

פריטים דומים