Suchergebnisse - De Swart, Harrie 1944-

Relational and algebraic methods in computer science: 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings

von De Swart, Harrie 1944-

Inhaltsverzeichnis

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011, Proceedings

von De Swart, Harrie 1944-

Sets: naive, axiomatic and applied: a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students

von Dalen, Dirk van 1932-, Doets, Kees, De Swart, Harrie 1944-

Inhaltsverzeichnis

Logic: mathematics, language, computer science and philosophy

Band 1 - Mathematics, language and philosophy

von De Swart, Harrie 1944-

Inhaltsverzeichnis

Logic: mathematics, language, computer science and philosophy

Band 2 - Logic and computer science

von De Swart, Harrie 1944-

Inhaltsverzeichnis

Philosophical and Mathematical Logic

von De Swart, Harrie 1944-

Logic: mathematics, language, computer science and philosophy

Band 1 - Logic: mathematics, language and philosophy

von De Swart, Harrie 1944-

Logic: mathematics, language, computer science and philosophy

Band 1 - Logic - mathematics, language and philosophy

von De Swart, Harrie 1944-

Logic: mathematics, language, computer science and philosophy

Band 1 - Mathematics, language and philosophy

von De Swart, Harrie 1944-

Inleiding tot de symbolische logica

von De Swart, Harrie 1944-

Philosophical and mathematical logic

von De Swart, Harrie 1944-

Inhaltsverzeichnis

Logic: mathematics, language, computer science and philosophy

von De Swart, Harrie 1944-