2003

Lectures in logic and set theory.

Tourlakis, George J



 

2003

Lectures in logic and set theory.

Tourlakis, George J



 

2016

Lectures on infinitary model theory

Marker, D. (David), 1958- author.

Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, [2016]

 

2013?

Leśniewski's systems of logic and foundations of mathematics

Urbaniak, Rafal, author

Cham : Springer, [2013?]

 

2016

Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Herak

ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece)

Cham : Springer, 2016

 

2020

Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20

ISoLA (Symposium) (9th : 2020 : Online)

Cham : Springer, 2020

 

2014

The life and work of Leon Henkin : essays on his contributions

Cham : Birkhäuser, [2014]

 

1948

The limits of science : outline of logic and of the methodology of the exact sciences

Chwistek, Leon, 1884-1944.

London : Kegan Paul, Trench, Trubner, 1948

Request It 

2004

Linear Logic in Computer Science

 

2016

A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday

Switzerland : Springer, 2016

 

2012

Logic : a brief course

Mundici, Daniele, 1946-



 

2016

Logic and algebraic structures in quantum computing

Cambridge : Cambridge University Press, 2016

 

1978

Logic and argument

Kirwan, Christopher.

London : Duckworth, 1978

Request It 

2021

Logic and argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

International Conference on Logic and Argumentation (4th : 2021 : Hangzhou, China)

Cham, Switzerland : Springer, 2021

 

2023

Logic and argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

International Conference on Logic and Argumentation (5th : 2023 : Hangzhou, China)

Cham : Springer, 2023

 

2020

Logic and argumentation : Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, proceedings

International Conference on Logic and Argumentation (3rd : 2020 : Hangzhou, China)



 

2008

Logic and automata : history and perspectives

 

1987

Logic and Combinatorics

Simpson, Stephen G



 

1995

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

 

2015

Logic and discrete mathematics : a concise introduction

Conradie, Willem, 1978- author.

Chichester, West Sussex ; Hoboken, NJ : John Wiley & Sons Inc., 2015

 

2011

Logic and games on automatic structures : playing with quantifiers and decompositions

Kaiser, Łukasz.



 

2021

Logic and implication : an introduction to the general algebraic study of non-classical logics

Cintula, Petr, author

Cham, Switzerland : Springer, 2021

 

2011

Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings

ICLA (Conference : Logic) (4th : 2011 : Delhi, India)



 

2013

Logic and its applications : 5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013, proceedings

ICLA (Conference : Logic) (5th : 2013 : Chennai, India)



 

2015

Logic and its applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

ICLA (Conference : Logic) (6th : 2015 : Mumbai, India)

Heidelberg : Springer, 2015

 

2017

Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

ICLA (Conference : Logic) (7th : 2017 : Kanpur, India)

Berlin, Germany : Springer, 2017

 

2019

Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

ICLA (Conference : Logic) (8th : 2019 : Delhi, India)

Berlin, Germany : Springer, 2019

 

2009

Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings

ICLA (Conference : Logic) (3rd : 2009 : Chennai, India)



 

1968

Logic and knowledge : essays, 1901-1950

Russell, Bertrand, 1872-1970.

London : G. Allen & Unwin ; New York : Macmillan Co, [1968]

Request It 

1956

Logic and knowledge : essays 1901-1950

Russell, Bertrand, 1872-1970.

London : Allen & Unwin, 1956

Request It 

1970

Logic and proof

Bittinger, Marvin L.

Reading, Mass. : Addison-Wesley, [1970]

Request It 

1980

Logic and structure

Dalen, D. van (Dirk), 1932-

Berlin ; New York : Springer-Verlag, 1980

Request It 

1994

Logic and structure

Dalen, D. van (Dirk), 1932-
Third augmented edition
Berlin ; New York : Springer-Verlag, [1994]

Request It 

2013

Logic and structure

Dalen, D. van (Dirk), 1932-
5th ed


 

2010

Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papers

International Conference on Logic and the Foundations of Game and Decision Theory (8th : 2008 : Amsterdam, Netherlands)



 

2008

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings

Conference on Computability in Europe (4th : 2008 : Athens, Greece)



 

1989

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ, R.S.F.S.R.)



 

2000

Logic-based methods for optimization : combining optimization and constraint satisfaction

Hooker, John, 1949-

New York : John Wiley & Sons, [2000]

 

2017

Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Logic Colloquium.

Cambridge : Cambridge University Press, 2017

 

2016

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Logic Colloquium (1995 : Haifa, Israel)

Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

 

2016

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

Logic Colloquium (1996 : San Sebastián, Spain)

Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

 

2004

Logic colloquium '99 : lecture notes in logic 17

First edition
Boca Raton, FL : A K Peters/CRC Press, an imprint of Taylor and Francis, 2004

 

2007

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Logic Colloquium.



 

2009

Logic Colloquium 2006

Logic Colloquium (2006 : Nijmegen, Netherlands)



 

2010

Logic Colloquium 2007

Logic Colloquium (2007 : Wrocław, Poland)



 

2014

Logic, Computation, Hierarchies

Brattka, Vasco, editor

Boston : De Gruyter, [2014]

 

2023

Logic, epistemology, and scientific theories -- from Peano to the Vienna Circle

 

2008

Logic for computer scientists

Schöning, Uwe, 1955-



 

2023

Logic for Justice An Introduction to Formal Logic with an Emphasis on Political Reform

Wilhelm, Isaac



 

1988

Logic for mathematicians

Hamilton, A. G., 1943-
Revised edition
Cambridge [England] : Cambridge University Press, 1988

Request It