Arama Sonuçları - Daraltılmış: English - Logic, Symbolic and mathematical.

Sets, functions, measures. Volume 1, Fundamentals of set and number theory

2024-06-16T20:27:34Z

by Rodionov, Timofey V., author.
Click to View
Format: Elektronik Kaynak

Concepts of proof in mathematics, philosophy, and computer science

2024-06-16T20:27:34Z

Click to View
Format: Elektronik Kaynak

A first course in mathematical logic and set theory

2024-06-16T20:27:34Z

by O'Leary, Michael L., author.
Click to View
Format: Elektronik Kaynak

Autonomy Platonism and the indispensability argument

2024-06-16T20:27:34Z

by Marcus, Russell, 1966- author.
Click to View
Format: Elektronik Kaynak

The foundations of mathematics

2024-06-16T20:27:34Z

by Stewart, Ian, 1945- author.
Click to View
Format: Elektronik Kaynak

Logic without borders

2024-06-16T20:27:34Z

by Hirvonen, Åsa, editor.
Click to View
Format: Elektronik Kaynak

Philosophy of mathematics in the twentieth century : selected essays

2024-06-16T20:27:34Z

by Parsons, Charles, 1933-
Click to View
Format: Elektronik Kaynak

Formalism and beyond : on the nature of mathematical discourse

2024-06-16T20:27:34Z

by Link, Godehard, editor.
Click to View
Format: Elektronik Kaynak

Distilling ideas an introduction to mathematical thinking

2024-06-16T20:27:34Z

by Katz, Brian P.
Click to View
Format: Elektronik Kaynak

Word and object

2024-06-16T20:27:34Z

by Quine, W. V. (Willard Van Orman)
Click to View
Format: Elektronik Kaynak

Effective mathematics of the uncountable

2024-06-16T20:27:34Z

by Greenberg, Noam.
Click to View
Format: Elektronik Kaynak

Alan Turing his work and impact

2024-06-16T20:27:34Z

by Cooper, S. B. (S. Barry)
Click to View
Format: Elektronik Kaynak

Symbolic logic syntax, semantics, and proof

2024-06-16T20:27:34Z

by Agler, David W., 1982-
Click to View
Format: Elektronik Kaynak

Logicism and its philosophical legacy

2024-06-16T20:27:34Z

by Demopoulos, William.
Click to View
Format: Elektronik Kaynak

Sets and extensions in the twentieth century

2024-06-16T20:27:34Z

by Gabbay, Dov M., 1945-
Click to View
Format: Elektronik Kaynak

Quantification transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic

2024-06-16T20:27:34Z

by Mołczanow, Aleksy.
Click to View
Format: Elektronik Kaynak

The irrationals a story of the numbers you can't count on

2024-06-16T20:27:34Z

by Havil, Julian, 1952-
Click to View
Format: Elektronik Kaynak

Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic

2024-06-16T20:27:34Z

by Baltas, Aristeidēs, author.
Click to View
Format: Elektronik Kaynak

Qualitative spatial and temporal reasoning

2024-06-16T20:27:34Z

by Ligozat, Gérard.
Click to View
Format: Elektronik Kaynak

Set theory, arithmetic, and foundations of mathematics theorems, philosophies

2024-06-16T20:27:34Z

by Kennedy, Juliette, 1955-
Click to View
Format: Elektronik Kaynak

Logical dynamics of information and interaction

2024-06-16T20:27:34Z

by Benthem, J. F. A. K. van, 1949-
Click to View
Format: Elektronik Kaynak

Classical mathematical logic the semantic foundations of logic

2024-06-16T20:27:34Z

by Epstein, Richard L.
Click to View
Format: Elektronik Kaynak

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

2024-06-16T20:27:34Z

by Hopkins, Burt C.
Click to View
Format: Elektronik Kaynak

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics

2024-06-16T20:27:34Z

by Goldblatt, Robert.
Click to View
Format: Elektronik Kaynak

The continuum companion to philosophical logic

2024-06-16T20:27:34Z

by Pettigrew, Richard, editor.
Click to View
Format: Elektronik Kaynak

Beyond sets a venture in collection-theoretic revisionism

2024-06-16T20:27:34Z

by Rescher, Nicholas.
Click to View
Format: Elektronik Kaynak

Handbook of logic and language

2024-06-16T20:27:34Z

by Benthem, Johan van, 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Elektronik Kaynak

Essays in the philosophy and history of logic and mathematics

2024-06-16T20:27:34Z

by Murawski, Roman.
Click to View
Format: Elektronik Kaynak

Perspectives in logic logical foundations of proof complexity

2024-06-16T20:27:34Z

by Cook, Stephen, 1948-
Click to View
Format: Elektronik Kaynak

Mathematical reasoning patterns, problems, conjectures, and proofs

2024-06-16T20:27:34Z

by Nickerson, Raymond S.
Click to View
Format: Elektronik Kaynak

Diamond a paradox logic

2024-06-16T20:27:34Z

by Hellerstein, N. S. (Nathaniel S.)
Click to View
Format: Elektronik Kaynak

Roads to infinity : the mathematics of truth and proof

2024-06-16T20:27:34Z

by Stillwell, John, author.
Click to View
Format: Elektronik Kaynak

Handbook of mathematical induction : theory and applications

2024-06-16T20:27:34Z

by Gunderson, David S., author.
Click to View
Format: Elektronik Kaynak

Discovering patterns in mathematics and poetry

2024-06-16T20:27:34Z

by Birken, Marcia.
Click to View
Format: Elektronik Kaynak

Institution-independent model theory

2024-06-16T20:27:34Z

by Diaconescu, Răzvan.
Click to View
Format: Elektronik Kaynak

Logic and automata history and perspectives

2024-06-16T20:27:34Z

by Flum, Jörg.
Click to View
Format: Elektronik Kaynak

Logic and the foundations of game and decision theory (LOFT 7)

2024-06-16T20:27:34Z

by Bonanno, Giacomo.
Click to View
Format: Elektronik Kaynak

An introduction to non-classical logic from if to is

2024-06-16T20:27:34Z

by Priest, Graham.
Click to View
Format: Elektronik Kaynak

Andrzej Mostowski and foundational studies

2024-06-16T20:27:34Z

by Mostowski, Andrzej.
Click to View
Format: Elektronik Kaynak

Realizability : an introduction to its categorical side

2024-06-16T20:27:34Z

by Oosten, Jaap van.
ScienceDirect http://www.sciencedirect.com/science/book/9780444515841 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=152
Format: Elektronik Kaynak

Essays on Frege's conception of truth

2024-06-16T20:27:34Z

by Greimann, Dirk.
Click to View
Format: Elektronik Kaynak

Mathematical logic

2024-06-16T20:27:34Z

by Chiswell, Ian, 1948-
Click to View
Format: Elektronik Kaynak

The mathematics of logic a guide to completeness theorems and their applications

2024-06-16T20:27:34Z

by Kaye, Richard (Richard W.)
Click to View
Format: Elektronik Kaynak

Essays on Wittgenstein's Tractatus

2024-06-16T20:27:34Z

by Copi, Irving M., editor.
Click to View
Format: Elektronik Kaynak

Logically determined design clockless system design with NULL convention logic

2024-06-16T20:27:34Z

by Fant, Karl M.
Click to View
Format: Elektronik Kaynak

A tour through mathematical logic

2024-06-16T20:27:34Z

by Wolf, Robert S.
Click to View
Format: Elektronik Kaynak

Frege's logic

2024-06-16T20:27:34Z

by Macbeth, Danielle.
Click to View
Format: Elektronik Kaynak

The equations icons of knowledge

2024-06-16T20:27:34Z

by Bais, Sander.
Click to View
Format: Elektronik Kaynak

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives

2024-06-16T20:27:34Z

by Badesa, Calixto.
Click to View
Format: Elektronik Kaynak

The determinacy of long games

2024-06-16T20:27:34Z

by Neeman, Itay, 1972-
Click to View
Format: Elektronik Kaynak

Principles of truth

2024-06-16T20:27:34Z

by Halbach, Volker.
Click to View
Format: Elektronik Kaynak

Paradox and paraconsistency conflict resolution in the abstract sciences

2024-06-16T20:27:34Z

by Woods, John.
Click to View
Format: Elektronik Kaynak

Set theory

2024-06-16T20:27:34Z

by Tourlakis, George J.
Click to View
Format: Elektronik Kaynak

Mathematical logic

2024-06-16T20:27:34Z

by Tourlakis, George J.
Click to View
Format: Elektronik Kaynak

Mathematical logic in the 20th century

2024-06-16T20:27:34Z

by Sacks, Gerald E.
Click to View
Format: Elektronik Kaynak

Principles of truth

2024-06-16T20:27:34Z

Click to View
Format: Elektronik Kaynak

Wittgenstein's Tractatus a dialectical interpretation

2024-06-16T20:27:34Z

by Ostrow, Matthew B., 1961-
Click to View
Format: Elektronik Kaynak

Folk algebras in algebra logic and computer science

2024-06-16T20:27:34Z

by Frias, Marcelo Fabián, 1968-
Click to View
Format: Elektronik Kaynak

Handbook of the logic of argument and inference : the turn towards the practical

2024-06-16T20:27:34Z

by Gabbay, Dov M., 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444506504 ScienceDirect http://www.sciencedirect.com/science/publication?issn=15702464&volume=1
Format: Elektronik Kaynak

Uncertain inference

2024-06-16T20:27:34Z

by Kyburg, Henry Ely, 1928-
Click to View
Format: Elektronik Kaynak

Mathematical logic

2024-06-16T20:27:34Z

by Turing, Alan, 1912-1954.
ScienceDirect https://www.sciencedirect.com/science/book/9780444504234
Format: Elektronik Kaynak

A mathematical introduction to logic

2024-06-16T20:27:34Z

by Enderton, Herbert B.
ScienceDirect http://www.sciencedirect.com/science/book/9780122384523
Format: Elektronik Kaynak

Foundations without foundationalism a case for second-order logic.

2024-06-16T20:27:34Z

by Shapiro, Stewart, 1951-
Click to View
Format: Elektronik Kaynak

From Peirce to Skolem : a neglected chapter in the history of logic

2024-06-16T20:27:34Z

by Brady, Geraldine.
ScienceDirect http://www.sciencedirect.com/science/book/9780444503343 ScienceDirect http://www.sciencedirect.com/science/publication?issn=09282017&volume=4 ScienceDirect http://www.sciencedirect.com/science/bookseries/09282017/4
Format: Elektronik Kaynak

The moment of proof mathematical epiphanies

2024-06-16T20:27:34Z

by Benson, Donald C.
Click to View
Format: Elektronik Kaynak

In the light of logic

2024-06-16T20:27:34Z

by Feferman, Solomon.
Click to View
Format: Elektronik Kaynak

Logic with trees an introduction to symbolic logic

2024-06-16T20:27:34Z

by Howson, Colin.
Click to View
Format: Elektronik Kaynak

Intermediate logic

2024-06-16T20:27:34Z

by Bostock, David.
Click to View
Format: Elektronik Kaynak

Admissibility of logical inference rules

2024-06-16T20:27:34Z

by Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
ScienceDirect https://www.sciencedirect.com/science/book/9780444895059 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/136
Format: Elektronik Kaynak

Handbook of logic and language

2024-06-16T20:27:34Z

by Benthem, Johan van, 1949-
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus ScienceDirect https://www.sciencedirect.com/science/book/9780444817143
Format: Elektronik Kaynak

The logic of reliable inquiry

2024-06-16T20:27:34Z

by Kelly, Kevin T., author.
Click to View
Format: Elektronik Kaynak

Logical frameworks for truth and abstraction : an axiomatic study

2024-06-16T20:27:34Z

by Cantini, Andrea.
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/135
Format: Elektronik Kaynak

Principles of logic and logic programming

2024-06-16T20:27:34Z

by Metakides, George, 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: Elektronik Kaynak

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

2024-06-16T20:27:34Z

by International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/134
Format: Elektronik Kaynak

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)

2024-06-16T20:27:34Z

by Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9781483214535
Format: Elektronik Kaynak

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

2024-06-16T20:27:34Z

by IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format: Elektronik Kaynak

Proof and knowledge in mathematics

2024-06-16T20:27:34Z

by Detlefsen, Michael, 1948-
Click to View
Format: Elektronik Kaynak

Proof, logic, and formalization

2024-06-16T20:27:34Z

by Detlefsen, Michael, 1948-
Click to View
Format: Elektronik Kaynak

Frege and other philosophers

2024-06-16T20:27:34Z

by Dummett, Michael, 1925-2011.
Click to View
Format: Elektronik Kaynak

Language in action : categories, lambdas, and dynamic logic

2024-06-16T20:27:34Z

by Benthem, Johan van, 1949-
ScienceDirect https://www.sciencedirect.com/science/book/9780444890009 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/130
Format: Elektronik Kaynak

Deducibility and decidability

2024-06-16T20:27:34Z

by Gill, R. R. Rockingham, 1944-
Click to View
Format: Elektronik Kaynak

Constructibility and mathematical existence

2024-06-16T20:27:34Z

by Chihara, Charles S., 1932-
Click to View
Format: Elektronik Kaynak

Logic-based decision support : mixed integer model formulation

2024-06-16T20:27:34Z

by Jeroslow, Robert G., 1942-1988.
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444871190 ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=40 ScienceDirect https://www.sciencedirect.com/science/book/9780444871190
Format: Elektronik Kaynak

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

2024-06-16T20:27:34Z

by Logic Colloquium (1988 : Padova, Italy)
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127
Format: Elektronik Kaynak

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

2024-06-16T20:27:34Z

by Logic Colloquium (1987 : Granada, Spain)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444880222 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129 ScienceDirect https://www.sciencedirect.com/science/book/9780444880222
Format: Elektronik Kaynak

Computability, complexity, logic

2024-06-16T20:27:34Z

by Börger, E. (Egon), 1946-
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128
Format: Elektronik Kaynak

A computational logic handbook

2024-06-16T20:27:34Z

by Boyer, Robert S.
ScienceDirect http://www.sciencedirect.com/science/book/9780121229528
Format: Elektronik Kaynak

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985

2024-06-16T20:27:34Z

by Logic Colloquium (1985 : Orsay, France)
ScienceDirect https://www.sciencedirect.com/science/book/9780444702111 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/122 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=122
Format: Elektronik Kaynak

Executing temporal logic programs

2024-06-16T20:27:34Z

by Moszkowski, B. C.
Format: Kitap

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

2024-06-16T20:27:34Z

by Halpern, Joseph Y., 1953-
ScienceDirect https://www.sciencedirect.com/science/book/9780934613040
Format: Elektronik Kaynak

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

2024-06-16T20:27:34Z

by Logic Colloquium '84 (1984 : Manchester)
ScienceDirect https://www.sciencedirect.com/science/book/9780444879998 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=120 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/120
Format: Elektronik Kaynak

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982

2024-06-16T20:27:34Z

by Logic Colloquium '82 (Florence)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444868763 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=112 ScienceDirect https://www.sciencedirect.com/science/book/9780444868763
Format: Elektronik Kaynak

Studies in logic

2024-06-16T20:27:34Z

by Peirce, Charles S. (Charles Sanders), 1839-1914.
Click to View
Format: Elektronik Kaynak

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

2024-06-16T20:27:34Z

by Southeast Asian Conference on Logic (1981 : Singapore)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444867063 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=111 ScienceDirect https://www.sciencedirect.com/science/book/9780444867063
Format: Elektronik Kaynak

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

2024-06-16T20:27:34Z

by International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444854230 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=104
Format: Elektronik Kaynak

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981

2024-06-16T20:27:34Z

by Logic Colloquium (1981 : Marseille, France)
ScienceDirect http://www.sciencedirect.com/science/book/9780444864178 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=107
Format: Elektronik Kaynak

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

2024-06-16T20:27:34Z

by Logic Symposion (1980 : Patra, Greece)
ScienceDirect http://www.sciencedirect.com/science/book/9780444864765 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=109
Format: Elektronik Kaynak

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

2024-06-16T20:27:34Z

by Logic Colloquium (1980 : Prague, Czech Republic)
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/108 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=108
Format: Elektronik Kaynak

Mathematical logic

2024-06-16T20:27:34Z

by Quine, W. V. (Willard Van Orman)
Click to View
Format: Elektronik Kaynak

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2024-06-16T20:27:34Z

by Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Elektronik Kaynak

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

2024-06-16T20:27:34Z

by Logic Colloquium (1978 : Mons, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97
Format: Elektronik Kaynak

Foundational studies : selected works. Volume II

2024-06-16T20:27:34Z

by Mostowski, Andrzej.
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB
Format: Elektronik Kaynak

Foundational studies : selected works. Volume I

2024-06-16T20:27:34Z

by Mostowski, Andrzej.
ScienceDirect https://www.sciencedirect.com/science/book/9780444851024 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/93/part/PA ScienceDirect https://www.sciencedirect.com/science/issue/42455-1979-999069999.7998-933073
Format: Elektronik Kaynak

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

2024-06-16T20:27:34Z

by Logic Colloquium (1977 : Wrocław, Poland)
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/96
Format: Elektronik Kaynak

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

2024-06-16T20:27:34Z

by Logic Colloquium (1976 : Oxford)
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Elektronik Kaynak

Handbook of mathematical logic

2024-06-16T20:27:34Z

by Barwise, Jon.
ScienceDirect https://www.sciencedirect.com/science/book/9780444863881 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/90 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=90 http://www.sciencedirect.com/science/book/9780444863881
Format: Elektronik Kaynak

Logic colloquium '73 : proceedings

2024-06-16T20:27:34Z

by Logic Colloquium (1973 : Bristol)
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=82 ScienceDirect https://www.sciencedirect.com/science/book/9780444106421 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/80
Format: Elektronik Kaynak

Intensional and higher-order modal logic : with applications to Montague semantics

2024-06-16T20:27:34Z

by Gallin, Daniel.
ScienceDirect http://www.sciencedirect.com/science/book/9780444110022 ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=19
Format: Elektronik Kaynak

Symbolic logic and mechanical theorem proving

2024-06-16T20:27:34Z

by Chang, Chin-Liang, 1937-
ScienceDirect https://www.sciencedirect.com/science/book/9780080917283
Format: Elektronik Kaynak

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

2024-06-16T20:27:34Z

by Conference on Alternative Semantics (1970 : Temple University)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422696 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/68
Format: Elektronik Kaynak

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

2024-06-16T20:27:34Z

by International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
Format: Elektronik Kaynak

Contributions to non-standard analysis

2024-06-16T20:27:34Z

by Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=69
Format: Elektronik Kaynak

Logic, automata, and algorithms

2024-06-16T20:27:34Z

by Aĭzerman, M. A. (Mark Aronovich), 1913-1992.
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: Elektronik Kaynak

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

2024-06-16T20:27:34Z

by Summer School in Logic (14th : 1969 : Manchester, England)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: Elektronik Kaynak

Proceedings of the Second Scandinavian Logic Symposium

2024-06-16T20:27:34Z

by Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)
ScienceDirect https://www.sciencedirect.com/science/book/9780720422597 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/63 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=63
Format: Elektronik Kaynak

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968

2024-06-16T20:27:34Z

by Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: Elektronik Kaynak

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

2024-06-16T20:27:34Z

by International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422559 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=59
Format: Elektronik Kaynak

Set theory and its logic

2024-06-16T20:27:34Z

by Quine, W. V. (Willard Van Orman)
Click to View
Format: Elektronik Kaynak

The algebraic theory of switching circuits

2024-06-16T20:27:34Z

by Moisil, Grigore C.
ScienceDirect http://www.sciencedirect.com/science/book/9780080101484
Format: Elektronik Kaynak

The collected papers of Gerhard Gentzen

2024-06-16T20:27:34Z

by Szabo, M. E.
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/55
Format: Elektronik Kaynak

Constructive order types

2024-06-16T20:27:34Z

by Crossley, John N.
ScienceDirect https://www.sciencedirect.com/science/book/9780444534200 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/56 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=56
Format: Elektronik Kaynak

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

2024-06-16T20:27:34Z

by Logic Colloquium (11th : 1966 : Hannover, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: Elektronik Kaynak

Algebraic methods of mathematical logic

2024-06-16T20:27:34Z

by Rieger, Ladislav, 1916-1963.
ScienceDirect http://www.sciencedirect.com/science/book/9781483231235
Format: Elektronik Kaynak

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

2024-06-16T20:27:34Z

by Logic Colloquium (10th : 1965 : University of Leicester)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Elektronik Kaynak

Elements of mathematical logic (Model theory)

2024-06-16T20:27:34Z

by Kreisel, Georg.
ScienceDirect https://www.sciencedirect.com/science/book/9780444534125 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/48 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=48
Format: Elektronik Kaynak

Logic, methodology and philosophy of science : proceedings of the 1960 international congress

2024-06-16T20:27:34Z

by International Congress of Logic, Methodology, and Philosophy of Science (1960)
ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: Elektronik Kaynak

Non-standard analysis.

2024-06-16T20:27:34Z

by Robinson, Abraham, 1918-1974.
ScienceDirect https://www.sciencedirect.com/science/book/9780444534071 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/42 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=42
Format: Elektronik Kaynak

A theory of sets

2024-06-16T20:27:34Z

by Morse, Anthony P. (Anthony Perry)
ScienceDirect https://www.sciencedirect.com/science/book/9780123745675 ScienceDirect https://www.sciencedirect.com/science/publication?issn=00798169&volume=18 ScienceDirect https://www.sciencedirect.com/science/bookseries/00798169/18
Format: Elektronik Kaynak

Formal systems and recursive functions

2024-06-16T20:27:34Z

by Crossley, John N.
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40
Format: Elektronik Kaynak

Languages with expressions of infinite length

2024-06-16T20:27:34Z

by Karp, Carol, 1926-1972.
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=36
Format: Elektronik Kaynak

A survey of mathematical logic

2024-06-16T20:27:34Z

by Wang, Hao, 1921-
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: Elektronik Kaynak

Topics in engineering logic.

2024-06-16T20:27:34Z

by Nadler, Morton.
ScienceDirect http://www.sciencedirect.com/science/book/9780080097022
Format: Elektronik Kaynak

The logical systems of Lesniewski.

2024-06-16T20:27:34Z

by Luschei, Eugene C.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=30
Format: Elektronik Kaynak

The axiomatic method

2024-06-16T20:27:34Z

by Henkin, Leon.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: Elektronik Kaynak

Intuitionism : an introduction

2024-06-16T20:27:34Z

by Heyting, A. (Arend), 1898-1980.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=17
Format: Elektronik Kaynak

Mathematical interpretation of formal systems

2024-06-16T20:27:34Z

by Wiskundig Genootschap (Netherlands)
ScienceDirect https://www.sciencedirect.com/science/book/9780444533814 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/16 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=16
Format: Elektronik Kaynak

Solvable cases of the decision problem.

2024-06-16T20:27:34Z

by Ackermann, W. (Wilhelm), 1896-1962.
ScienceDirect https://www.sciencedirect.com/science/book/9780444533807 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/15 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=15
Format: Elektronik Kaynak

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

2024-06-16T20:27:34Z

by Mostowski, Andrzej.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: Elektronik Kaynak