Search Results for Mathematical logic. - Narrowed by: 2005

Mathematical logic : A course with exercises

2024-12-23T04:47:11Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

The logical syntax of language

2024-12-23T04:47:11Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

The foundations of mathematics : and other logical essays

2024-12-23T04:47:11Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2024-12-23T04:47:11Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

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

2024-12-23T04:47:11Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

An examination of logical positivism

2024-12-23T04:47:11Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

Essays in Constructive Mathematics

2024-12-23T04:47:11Z

Author Edwards, Harold M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138656
Format: Electronic Resources
Availability Online Library~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-12-23T04:47:11Z

Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28183-5
Format: Electronic Resources
Availability Online Library~1

Laws of Nature

2024-12-23T04:47:11Z

Author Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28303-X
Format: Electronic Resources
Availability Online Library~1

Visualization, Explanation and Reasoning Styles in Mathematics

2024-12-23T04:47:11Z

Author Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3335-4
Format: Electronic Resources
Availability Online Library~1

A Modern Perspective on Type Theory From its Origins until Today

2024-12-23T04:47:11Z

Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2335-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

2024-12-23T04:47:11Z

Author Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27692-0
Format: Electronic Resources
Availability Online Library~1

Field Arithmetic

2024-12-23T04:47:11Z

Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138352
Format: Electronic Resources
Availability Online Library~1

Categories for Software Engineering

2024-12-23T04:47:11Z

Author Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138249
Format: Electronic Resources
Availability Online Library~1

Logica Universalis Towards a General Theory of Logic

2024-12-23T04:47:11Z

Author Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137041
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-12-23T04:47:11Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

Rippling: Meta-Level Guidance for Mathematical Reasoning

2024-12-23T04:47:11Z

Author Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-12-23T04:47:11Z

Author Tieszen, Richard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The Big Typescript, TS. 213

2024-12-23T04:47:11Z

Author Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html John Wiley http://dx.doi.org/10.1002/9780470752906
Format: Electronic Resources
Availability Online Library~1

Logically determined design clockless system design with NULL convention logic

2024-12-23T04:47:11Z

Author Fant, Karl M.
Preferred Shelf Number ONLINE
Electronic Access Click for information Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471702897 MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: Electronic Resources
Availability Online Library~1

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-12-23T04:47:11Z

Author Solojentsev, E. D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2978-0
Format: Electronic Resources
Availability Online Library~1

Trends in Continuum Mechanics of Porous Media

2024-12-23T04:47:11Z

Author Boer, Reint. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3144-0
Format: Electronic Resources
Availability Online Library~1

Propositional and Predicate Calculus A Model of Argument

2024-12-23T04:47:11Z

Author Goldrei, Derek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-229-2
Format: Electronic Resources
Availability Online Library~1

Valued Fields

2024-12-23T04:47:11Z

Author Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30035-X
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-12-23T04:47:11Z

Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527695
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-12-23T04:47:11Z

Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137280
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-12-23T04:47:11Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538363
Format: Electronic Resources
Availability Online Library~1

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2024-12-23T04:47:11Z

Author Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601548
Format: Electronic Resources
Availability Online Library~1