Logic in Elementary Mathematics (Dover Books on Mathematics)
2054427
|
Robert M. Exner
Myron F. Rosskopf
|
9780486264226 |
2011 |
Contains images
|
Read Now
|
Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)
5364988
|
Jean-Yves Béziau
Amirouche Moktefi
Jean-Pierre Desclés
Anca Christine Pascu
|
9783030944520 |
2022 |
Contains images
|
|
Logic of Arithmetic
6401531
|
Walter Felscher
|
9781040190951 |
2000 |
Contains images
|
|
Logic of Statistical Inference
1335764
|
Ian Hacking
|
9781316570777 |
1965 |
Contains images
|
|
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science #12750)
5920189
|
Klaus-Dieter Schewe
Alexander Raschke
Elvinia Riccobene
|
9783030760205 |
2021 |
Contains images
|
|
Logic, Language, Information, and Computation
1664498
|
Juliette Kennedy
Ruy J. G. B. Queiroz
|
9783662553862 |
2014 |
Contains images
|
|
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science #10944)
2126886
|
Ruy De Queiroz
Lawrence S. Moss
Maricarmen Martinez
|
9783662576694 |
2018 |
Contains images
|
|
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (Lecture Notes in Computer Science #11541)
2981677
|
Ruy De Queiroz
Rosalie Iemhoff
Michael Moortgat
|
9783662595336 |
2019 |
Contains images
|
|
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #12300)
3700684
|
Carolyn Talcott
Vivek Nigam
Tajana Ban Kirigin
Joshua Guttman
Stepan Kuznetsov
Boon Thau Loo
Mitsuhiro Okada
|
9783030620776 |
2020 |
Contains images
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms
1385502
|
Peter Clark
David Devidi
Michael Hallett
|
9789400702141 |
2010 |
Contains images
|
|
Logic, Mathematics, and Computer Science
1417489
|
Yves Nievergelt
|
9781493932238 |
2015 |
Contains images
|
|
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings (Lecture Notes in Computer Science #11813)
2959011
|
Patrick Blackburn
Emiliano Lorini
Meiyun Guo
|
9783662602928 |
2019 |
Contains images
|
|
Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings (Lecture Notes in Computer Science #14329)
5737804
|
Andreas Herzig
Natasha Alechina
Fei Liang
|
9783031455582 |
2023 |
Contains images
|
|
Logic-Based Benders Decomposition: Theory and Applications (Synthesis Lectures on Operations Research and Applications)
5782711
|
John Hooker
|
9783031450396 |
2024 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10855)
2118752
|
John P. Gallagher
Fabio Fioravanti
|
9783319944609 |
2018 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11408)
2532813
|
Fred Mesnard
Peter J. Stuckey
|
9783030138387 |
2019 |
Contains images
|
|
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science #12561)
3903760
|
Maribel Fernández
|
9783030684464 |
2021 |
Contains images
|
|
Logic: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings (Lecture Notes In Computer Science Ser. #5110)
5963922
|
Wilfrid Hodges
|
9780141926841 |
2008 |
Contains images
|
|
Logic: The Theory of Formal Inference
2055572
|
Morris Lazerowitz
Alice Ambrose
|
9780486808598 |
1989 |
Contains images
|
|
Logic: a Brief Course
1358678
|
Daniele Mundici
|
9788847023611 |
2011 |
Contains images
|
|
Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi (UNITEXT #111)
2334983
|
Vito Michele Abrusci
Lorenzo Tortora de Falco
|
9788847039681 |
2018 |
Contains images
|
|
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL: 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Lecture Notes in Computer Science #10054)
5920760
|
Sylvain Pogodalla
Maxime Amblard
Christian Retoré
Philippe De Groote
|
9783662538265 |
2016 |
Contains images
|
|
Logical Form: Between Logic and Natural Language (Synthese Library #393)
4232273
|
Andrea Iacona
|
9783319741543 |
2018 |
Contains images
|
|
Logical Foundations of Computer Science
1834853
|
Sergei Artemov
Anil Nerode
|
9783319720562 |
2007 |
Contains images
|
|
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings (Lecture Notes in Computer Science #11972)
3003698
|
Sergei Artemov
Anil Nerode
|
9783030367558 |
2020 |
Contains images
|
|