Search alternatives:
"logician" » "logicians", "logiciel", "logica"

1
by Wang, Hao
Published 1996
MIT Press
Subjects: ...Logicians / United States / Biography...

2 Subjects: ...Logic / Early works to 1800...

3
by Heinzmann, Gerhard
Published 2021
Springer Nature
Subjects: ...Game Semantics for Substructural Logics...

4
by Zilber, Boris
Published 2010
Cambridge University Press
... their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand...

5
by Luschei, Eugene C.
Published 1962
North-Holland Pub. Co.
Table of Contents: ... of logic and foundations of mathematics -- Terminological explanations and directives -- Principles...

6
by Husserl, Edmund
Published 1975
Springer Netherlands
Table of Contents: ...” to the Logical Investigations, 1913 -- I. Eugen Fink’s Editorial Remarks -- II. Husserl’s Text...

7
Published 2022
Manning Publications
...In this course on the Linux Logical Volume Manager you'll learn: Exactly what LVM is and when...

8
by Shoemaker, Sydney
Published 2007
Clarendon
Subjects: ...Logical positivism...

9
by Geldsetzer, Lutz, Schwartz, Richard L.
Published 2013
Springer Netherlands
Subjects: ...Mathematical logic...

10
by Kubota, Yusuke
Published 2020
The MIT Press
Subjects: ...Type-Logical Grammar...

11
by Hintikka, Jaakko, Hintikka, Merrill B.P.
Published 1989
Springer Netherlands
Table of Contents: ...Essay 1. Is Alethic Modal Logic Possible? -- Essay 2. Reasoning About Knowledge in Philosophy...

12
by Doets, Kees
Published 1994
MIT Press
Subjects: ...Logic programming...

13
Published 1996
Springer Netherlands
Table of Contents: ... Logic and Methodology of Science -- 4. Hierarchical Learning of Boolean Functions -- 5. Inference...

14
by Nicole, Pierre
Published 1717
printed for William Taylor, at the Ship in Pater-Noster-Row
Subjects: ...Logic / Early works to 1800...

15
by Von Plato, Jan
Published 2013
Cambridge University Press
Table of Contents: ...Machine generated contents note: Part I. First Steps in Logical Reasoning: 1. Starting points; 2...

16
Published 1979
Springer

17
Published 1995
Springer

18
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic...

19
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning...

20
by Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...