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

1
by Church, Alonzo
Published 2016
Princeton University Press
...Logic is sometimes called the foundation of mathematics: the logician studies the kinds...

2
by Avigad, Jeremy
Published 2023
Cambridge University Press
... reference for any practicing logician's bookshelf...

3
by Barwise, Jon
Published 2016
Cambridge University Press
... seminal works by leading logicians. Many of the original books in the series have been unavailable...

4
by Simon, Pierre
Published 2015
Cambridge University Press
.... The relevant material from other fields of mathematics is made accessible to the logician...

5
Published 2004
Cambridge University Press
Table of Contents: ...Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda...

6
Published 2024
Birkhäuser
...John Corcoran was a very well-known logician who worked on several areas of logic. He produced...

7
Published 2007
Springer New York
Table of Contents: ... (Foundation of Spacetime), Intriguing Features of GR Spacetimes (Challenges for the Logician), A FOL Axiom...

8
Published 2015
Springer International Publishing
...Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than...

9
by Chatti, Saloua
Published 2019
Birkhäuser
...This monograph explores the logical systems of early logicians in the Arabic tradition from a...

10
by Pour-El, Marian B., Richards, J. Ian
Published 2016
Cambridge University Press
... seminal works by leading logicians. Many of the original books in the series have been unavailable...

11
Published 1994
Springer Netherlands
... logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a...

12
by Eijck, J. van
Published 1994
MIT Press
..."The thirteen chapters written expressly for this book by logicians, theoretical computer...

13
by Kossak, Roman
Published 2006
Clarendon
...Aimed at graduate students, research logicians and mathematicians, this text covers over 40 years...

14
by Azzouni, Jody
Published 2006
Oxford University Press
... notion of consequence and the formal analogues invented by logicians...

15
by Murawski, Roman
Published 2014
Birkhäuser
... and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930...

16
Published 2006
Springer New York
..., logicians. Important topics of logic are discussed from the point of view of their further development...

17
by Jacobs, Bart
Published 1999
Elsevier Science
... of logicians, type theorists, category theorists and (theoretical) computer scientists...

18
by Moschovakis, Yiannis N.
Published 1980
North-Holland
... by logicians...

19
Published 1989
Springer Berlin Heidelberg
... by logicians from other countries, who visited Japan in the summer of 1987...

20
by Dales, H. G., Woodin, W. H.
Published 1987
Cambridge University Press
...-logicians, the technique of forcing and its connection with independence, and gives a full proof that a...