Relevant bibliographies by topics / Combinatory logic / Books
To see the other types of publications on this topic, follow the link: Combinatory logic.

Books on the topic 'Combinatory logic'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 32 books for your research on the topic 'Combinatory logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Erwin, Engeler, ed. The combinatory programme. Birkhäuser, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pogonowski, Jerzy. Combinatory semantics. Wydawn. Nauk. Uniwersytetu im. Adama Mickiewicza w Poznaniu, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Künzel, Werner. Die Ars generalis ultima des Raymundus Lullus: Studien zu einem geheimen Ursprung der Computertheorie. 5th ed. Ed. Künzel, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Skordev, Dimitŭr Genchev. Computability in combinatory spaces: An algebraic generalization of abstract first order computability. Kluwer Academic Publishers, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Smullyan, Raymond M. To mock a mockingbird: And other logic puzzles including an amazing adventure in combinatory logic. Oxford University Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Smullyan, Raymond M. To mock a mocking bird and other logic puzzles: Including an amazing adventure in combinatory logic. Knopf, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Révész, György E. Lambda-calculus, combinators, and functional programming. Cambridge University Press, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Marco, Matteoli, Pagnoni-Sturlese Maria Rita, and Tirinnanzi Nicoletta, eds. Opere lulliane. Adelphi, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Colloquim on Algebra, Combinatorics and Logic in Computer Science (1983 Györ, Hungary). Algebra, combinatorics and logic in computer science: [held in Györ, Hungary between September 12-16, 1983]. North Holland, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lipschutz, Seymour. Discrete Mathematics. McGraw-Hill, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Haskell B. (Haskell Brooks) 1 Curry. Combinatory Logic; 1. Creative Media Partners, LLC, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Haskell B. (Haskell Brooks) 1 Curry. Combinatory Logic; 1. Creative Media Partners, LLC, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Kamareddine, Fairouz, Haskell Curry, and Jonathan Seldin. Foundations of Combinatory Logic. College Publications, 2017.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
14

Universal algebra in combinatory logic. 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

Combinatory logic: Pure, applied, and typed. Taylor & Francis, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Bimbo, Katalin. Combinatory Logic: Pure, Applied and Typed. Taylor & Francis Group, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

Bimbo, Katalin. Combinatory Logic: Pure, Applied and Typed. Taylor & Francis Group, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

Engeler, Erwin. The Combinatory Programme (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
19

Smullyan, Raymond M. To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic. Knopf, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

Szabo, M. E., K. J. Barwise, D. Kaplan, and H. J. Keisler. Algebra of Proofs. Elsevier Science & Technology Books, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science). Springer-Verlag, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

(Editor), Keqin Feng, Harald Niederreiter (Editor), and Chaoping Xing (Editor), eds. Coding, Cryptography and Combinatorics (Progress in Computer Science and Applied Logic (PCS)). Birkhäuser Basel, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Catt, Isaac E. Human Image in Helmuth Plessner, Pierre Bourdieu, and Psychocentric Culture. The Rowman & Littlefield Publishing Group, 2023. https://doi.org/10.5040/9781978734524.

Full text
Abstract:
In The Human Image in Helmuth Plessner, Pierre Bourdieu, and Psychocentric Culture, Isaac E. Catt offers a unique criticism of naturalistic reductions of humans to animals, to neuro substrates and to DNA. Catt explores a new interpretation of Plessner and Bourdieu, revealing the combinatory logic of semiotic phenomenology in both and their common problematic of communication. Through an emergent synthesis of philosophical anthropology and communicology, this book provides a basis for criticism of the failed mechanistic medical model in psychiatry, a fresh argument for reconceptualizing psychia
APA, Harvard, Vancouver, ISO, and other styles
24

(Editor), Guy Cousineau, Pierre-Louis Curien (Editor), and Bernard Robinet (Editor), eds. Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science). Springer, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Revesz, G. E. Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971. Independently Published, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

Tarjan, Robert E., George Pólya, and Donald R. Woods. Notes on Introductory Combinatorics (Progress in Computer Science and Applied Logic (PCS)). Birkhäuser Boston, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

10 Simulazioni Di Logica Inedite, Risolte e Commentate: Con Quesiti Di Statistica e Calcolo Combinatorio, Quesiti Aggiornati Ai Test Ministeriali Del 2020. Independently Published, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

Halbeisen, Lorenz J. Combinatorial Set Theory: With a Gentle Introduction to Forcing. Springer International Publishing AG, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Halbeisen, Lorenz J. Combinatorial Set Theory: With a Gentle Introduction to Forcing. Springer, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Halbeisen, Lorenz J. Combinatorial Set Theory: With a Gentle Introduction to Forcing. Springer, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

Lipschutz, Seymor, and Marc Lipson. Schaum's Outline of Discrete Mathematics (Schaum's). McGraw-Hill, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Combinatory logic' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography