1993

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy)

Berlin ; New York : Springer-Verlag, ©1993

 

1994

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales)



 

1995

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers

Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland)



 

1996

Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)



 

2016

Concepts of proof in mathematics, philosophy, and computer science

Berlin : De Gruyter, [2016]

 

2010

A concise introduction to mathematical logic

Rautenberg, Wolfgang.



 

2006

A concise introduction to mathematical logic

Rautenberg, Wolfgang.
2nd ed


 

2010

Conditional and preferential logics : proof methods and theorem proving

Pozzato, Gian Luca



 

2023

The congruences of a finite lattice : a "proof-by-picture" approach

Gratzer, George A., author.
Third edition
Cham : Birkhäuser, 2023

 

1940

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory

Gödel, Kurt

Princeton : Princeton University Press : H. Milford, Oxford University Press, 1940

 

1994

Constraints in Computational Logics : Proceedings of the First International Conference, CCL '94, Munich, Germany, September 7-9, 1994

 

1991

Constructibility and mathematical existence

Chihara, Charles S., 1932-



 

1990

Constructibility and mathematical existence

Chihara, Charles S., 1932-



 

2011

The Continuum companion to philosophical logic

London ; New York : Continuum, [2011]

Request It 

2011

The continuum companion to philosophical logic

London ; New York, New York : Continuum, 2011

 

2010

A course in mathematical logic for mathematicians

Manin, I︠U︡. I.
2nd ed


 

2008

A course on mathematical logic

Srivastava, S. M. (Shashi Mohan)



 

2013

A course on mathematical logic

Srivastava, S. M. (Shashi Mohan)
2nd ed


 

1964

The critical approach to science and philosophy

Bunge, Mario, 1919-

[New York] : Free Press of Glencoe, [1964]

Request It 

2017

Critical approaches to science & philosophy

[Place of publication not identified] : Routledge, 2017

 

1988

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany)



 

1990

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Berlin : Springer-Verlag, ©1990

 

2017

Current trends on knowledge-based systems

Cham : Springer, 2017

 

2015

Dag Prawitz on proofs and meaning

Cham, Switzerland : Springer, [2015]

 

2012

Dara O'Briain's School of Hard Sums: Ep 7 Of 18

Australia : SBS 2, 2012

 

2012

Dara O'Briain's School of Hard Sums: Ep 8 Of 18

Australia : SBS 2, 2012

 

2013

Dara O'Briain's School of Hard Sums: Ep 13 Of 18

Australia : SBS 2, 2013

 

2013

Dara O'Briain's School of Hard Sums: Ep 14 Of 18

Australia : SBS 2, 2013

 

2013

Dara O'Briain's School of Hard Sums: Ep 15 Of 18

Australia : SBS 2, 2013

 

2014

Dara O'Briain's School of Hard Sums: Jon Richardson and Stephen K Amos - Series 2, Ep 7 Of 8

Australia : SBS 2, 2014

 

2014

Dara O'Briain's School of Hard Sums: Lee Mack and Miles Jupp - Series 2, Ep 2 of 8

Australia : SBS 2, 2014

 

2013

Dara O'Briain's School of Hard Sums: Marcus Brigstocke and Mark Watson - Series 2, Ep 4 of 8

Australia : SBS 2, 2013

 

2014

Dara O'Briain's School of Hard Sums: Sally Phillips and Kevin Bridges - Series 2, Ep 8 Of 8

Australia : SBS 2, 2014

 

2014

Dara O'Briain's School of Hard Sums: Susan Calman And Andrew Maxwell - Series 2, Ep 6 Of 8

Australia : SBS 2, 2014

 

2018

Database and expert systems applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings.

Database and Expert Systems Applications Conference (29th : 2018 : Regensburg, Germany)

Cham : Springer, 2018

 

2014

David Makinson on classical methods for non-classical problems

Dordrecht : Springer, [2014]

 

2020

Decidability of logical theories and their combination

Rasga, João



 

2008

Decision procedures : an algorithmic point of view

Kroening, Daniel



 

2016

Decision procedures : an algorithmic point of view

Kroening, Daniel, author.
Second edition
Berlin, Germany : Springer, 2016

 

1990

Deducibility and Decidability

Gill, R. R. Rockingham



 

1990

Deducibility and decidability

Gill, R. R. Rockingham, 1944-



 

1993

The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming

Manna, Zohar.

Reading, Mass. : Addison-Wesley Pub. Co., [1993]

Request It 

2016

Deductive Software Verification -- The KeY Book : From Theory to Practice

Cham : Springer, 2016

 

2015

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Symposium on Dependable Software Engineering: Theories, Tools and Applications (1st : 2015 : Nanjing, China)

Cham : Springer, 2015

 

2020

Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings

DCFS (Workshop) (22nd : 2020)

Cham, Switzerland : Springer, [2020]

 

2009

Designing asynchronous circuits using NULL convention logic (NCL)

Smith, Scott C.



 

2004

The determinacy of long games

Neeman, Itay, 1972-



 

2020

The Development of Mathematical Logic

Nidditch, P. H.

Abingdon, Oxon ; New York, NY : Routledge, 2020

 

2010

Diamond : a paradox logic

Hellerstein, N. S. (Nathaniel S.)
2nd ed


 

1969

Dictionary of symbols of mathematical logic.

Feys, Robert, 1889-

Amsterdam : North-Holland Pub. Co., 1969

Request It