Title: Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6 / Edition 1, Author: Petr Hajek
Title: The Logical Status of Diagrams, Author: Sun-Joo Shin
Title: Fuzzy Logic with Engineering Applications / Edition 4, Author: Timothy J. Ross
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
Title: Fuzzy Logic Applications in Engineering Science / Edition 2, Author: J. Harris
Title: Algebraic Logic / Edition 1, Author: Semen G. Gindikin
Title: Hilbert's Program: An Essay on Mathematical Instrumentalism / Edition 1, Author: M. Detlefsen
Title: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings / Edition 1, Author: Mandayam Srivas
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / Edition 1, Author: Geoff Sutcliffe
Title: Natural Deduction, Hybrid Systems and Modal Logics / Edition 1, Author: Andrzej Indrzejczak
Title: Radical Constructivism in Mathematics Education / Edition 1, Author: E. Glasersfeld
Title: Laws and other Worlds: A Humean Account of Laws and Counterfactuals / Edition 1, Author: Fred Wilson
Title: KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings / Edition 1, Author: Günther Görz
Title: Handbook of Philosophical Logic / Edition 2, Author: Dov M. Gabbay
Title: Subsystems of Second Order Arithmetic / Edition 2, Author: Stephen G. Simpson
Title: Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1, Author: Werner Kluge
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Formal Pragmatics: Semantics, Pragmatics, Preposition, and Focus / Edition 1, Author: Nirit Kadmon
Title: A Structuralist Theory of Logic, Author: Arnold Koslow
Title: Logic of Mathematics: A Modern Course of Classical Logic / Edition 1, Author: Zofia Adamowicz

Pagination Links