Search alternatives:
"logicians" » "logiciels"

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

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

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
Published 2007
Springer New York
Table of Contents: ... (Foundation of Spacetime), Intriguing Features of GR Spacetimes (Challenges for the Logician), A FOL Axiom...

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

6
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...

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

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

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

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

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

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

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

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

15
by Sacks, Gerald E.
Published 2016
Cambridge University Press
... seminal works by leading logicians. Many of the original books in the series have been unavailable...

16
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...

17
by Hodges, Wilfrid
Published 1993
Cambridge University Press
... logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation...

18
by Lindström, Per
Published 2016
Cambridge University Press
... seminal works by leading logicians. Many of the original books in the series have been unavailable...

19
by Shoenfield, Joseph R.
Published 2016
Cambridge University Press
... seminal works by leading logicians. Many of the original books in the series have been unavailable...

20
by Baldwin, John T.
Published 2018
Cambridge University Press
..., combinatorics, and differential equations. This comprehensive and detailed book will interest logicians...