Handbook of logic and proof techniques for computer science από Krantz, Steven G. (Steven George) 1951-

Springer handbook of atomic, molecular, and optical physics

Θέματα:

Bounded arithmetic, propositional logic and complexity theory από Krajicek, Jan

Θέματα:

Fuzzy sets, logics and reasoning about knowledge

Θέματα: “…Many-valued logic.…”

Integrating functional and temporal domains in logic design : από McGeer, Patrick C.

Θέματα: “…Logic design Data processing.…”

Verifying concurrent processes using temporal logic από Hailpern, Brent T. (Brent Tzion) 1955-

Ο ρόλος της εκκλησίας στην διαχείριση των κοινωνικών ανισοτήτων στη Λατινική Αμερική : από Συκά, Ευμορφία

Θέματα: “…Catholic Church Latin America.…”
Λήψη πλήρους κειμένου

Gender's place :

Θέματα: “…Sex role Latin America.…”

Privatization amidst poverty :

Θέματα: “…Poverty Latin America.…”

Proof in geometry από Fetisov, A. I.

Θέματα:

Αριστοτέλους το "όργανον" από Αριστοτέλης, 384-322 π.Χ

Θέματα: “…Logic Early works to 1800.…”

Αριστοτέλους το "όργανον" : από Αριστοτέλης, 384-322 π.Χ

Θέματα: “…Logic Early works to 1800.…”

From Frege to Godel : από Van Heijenoort, Jean 1912-

Θέματα: “…Logic, Symbolic and mathematical.…”

Proof in geometry από Fetisov, A. I.

Θέματα:

Mistakes in geometric proofs από Dubnov, IA S. (IAkov Semenovich), 1887-1957

Θέματα:

Συστήματα επικοινωνιών με οπτικές ίνες από Agrawal, G. P. (Govind P.) 1951-

Θέματα: “…Optical communications.…”

Συστήματα επικοινωνιών με οπτικές ίνες από Agrawal, G. P. (Govind P.), 1951-

Θέματα: “…Optical communications.…”

Deduction από Johnson-Laird, P. N. (Philip Nicholas) 1936-

Θέματα: “…Logic.…”

Αλγεβρικός λογισμός : από Πανάκης, Ιωάννης Φ.

Θέματα: “…Algebraic logic…”

Concepts and categories : από Berlin, Isaiah, 1909-1997

Θέματα: “…Logic…”