Search alternatives:
"mathematician" » "mathematicians", "mathematical"

61
Published 2009
Springer Netherlands
Table of Contents: ...'s Game -- Implicit Versus Explicit Knowledge in Dialogical Logic -- Computation and Mathematics...

62
Published 1999
Springer Netherlands
Subjects: ...Computer science / Mathematics...

63
Published 2008
Springer Milan
Table of Contents: ... Effectiveness of Mathematics -- Experimental Methods in Proofs -- Proofs Verifying Programs and Programs...

64
Published 2014
Springer International Publishing
Subjects: ...Mathematical logic...

65
Published 2022
Springer International Publishing
Subjects: ...Mathematics...

66
Published 2014
Springer International Publishing
Table of Contents: .... Mathematical and Computational Perspectives -- The Freedoms of (Guarded) Bisimulation; Erich Grädel and Martin...

67
Published 2014
Springer Netherlands
Table of Contents: ... mathematics; Thierry Coquand -- Chapter 7. Gödel and intuitionism; Mark van Atten...

68
by Niiniluoto, I.
Published 1987
Springer Netherlands
Subjects: ...Mathematical logic...

69
Published 1983
Springer Netherlands
Subjects: ...Mathematical logic...

70
by Wójcicki, Ryszard
Published 1988
Springer Netherlands
Subjects: ...Mathematical logic...

71
Published 2000
Springer Netherlands
Table of Contents: ...The Late George Boole, LL.D., D.C.L. (1865) -- Remarks on Professor Boole’s Mathematical Theory...

72
Published 2000
Springer Netherlands
Subjects: ...Mathematical logic...

73
by Wansing, Heinrich
Published 1998
Springer Netherlands
Subjects: ...Mathematical logic...

74
by Marx, Maarten, Venema, Yde
Published 1997
Springer Netherlands
Subjects: ...Mathematical logic...

75
Published 1989
Springer Netherlands
Subjects: ...Mathematical logic...

76
by Benis-Sinaceur, Hourya, Panza, Marco, Sandu, Gabriel
Published 2015
Springer International Publishing
Subjects: ...Mathematics...

77
Published 1989
Springer Netherlands
Subjects: ...Mathematical logic...

78
Published 1986
Springer Netherlands
Subjects: ...Mathematical logic...

79
Published 1993
Springer Netherlands
Subjects: ...Mathematical logic...

80
Published 1998
Springer Netherlands
Subjects: ...Mathematical logic...