Relevant bibliographies by topics / Mathematical Logic and Formal Languages / Books
To see the other types of publications on this topic, follow the link: Mathematical Logic and Formal Languages.

Books on the topic 'Mathematical Logic and Formal Languages'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 July 2024

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

Select a source type:

Consult the top 50 books for your research on the topic 'Mathematical Logic and Formal Languages.'

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

Srivastava, S. M. A Course on Mathematical Logic. 2nd ed. New York, NY: Springer New York, 2013.

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

Srivastava, S. M. A course on mathematical logic. New York: Springer, 2013.

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

Casadio, C. Logic for grammar: Developments in linear logic and formal linguistics. Roma: Bulzoni, 2002.

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

Colloquium on Logic, Language, Mathematics Linguistics (3rd 1991 Brașov, Romania). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 mai 1991. Brasov: Transilvania University of Brasov, Faculty of Sciences, Dept. of Mathematics, 1991.

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

Larrazabal, Jesús M. Logic Colloquium' 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

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

service), SpringerLink (Online, ed. Logica: Metodo Breve. Milano: Springer Milan, 2011.

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

1953-, Delzell Charles N., ed. Mathematical logic and model theory: A brief introduction. London: Springer, 2011.

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

A, Carnielli Walter, ed. Analysis and synthesis of logics: How to cut and paste reasoning systems. Dordrecht: Springer, 2008.

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

International Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference: theoretical results and applications: 10th international colloquium ; proceedings. Berlin: Springer, 2010.

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

International Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France). Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.

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

International Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France). Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.

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

Jech, Thomas J. Set theory. 2nd ed. Berlin: Springer, 1997.

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

Alexander, Clark, Coste François, and Miclet Laurent, eds. Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.

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

Timofeeva, M. K. Естественные и формальные языки. Novosibirsk: In-t matematiki im. S.L. Soboleva SO RAN, 2003.

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

Wybraniec-Skardowska, Urszula. Theory of language syntax: Categorial approach. Dordrecht: Kluwer Academic Publishers, 1991.

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

Fülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

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

G, Kosarev I͡U︡, Goncharov S. S, and Institut matematiki (Akademii͡a︡ nauk SSSR. Sibirskoe otdelenie), eds. Logiko-matematicheskie osnovy problemy MOZ: Sbornik nauchnykh trudov. Novosibirsk: Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki, 1985.

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

Geldsetzer, Lutz. Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements. Dordrecht: Springer Netherlands, 2013.

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

service), SpringerLink (Online, ed. Hybrid Logic and its Proof-Theory. Dordrecht: Springer Science+Business Media B.V., 2011.

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

Matthias, Baaz, and SpringerLink (Online service), eds. Methods of Cut-Elimination. Dordrecht: Springer Science+Business Media B.V., 2011.

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

Johnsen, Einar Broch. Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

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

Świętorzecka, Kordula. Classical conceptions of the changeability of situations and thing represented in formalized languages. Warszawa: Wydawn. Uniwersytetu Kardynała Stefana Wyszyńskiego, 2008.

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

service), SpringerLink (Online, ed. Proofs and Algorithms: An Introduction to Logic and Computability. London: Springer-Verlag London Limited, 2011.

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

Biela, Andrzej. Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories. Katowice: Wydawn. Uniwersytetu Śląskiego, 2000.

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

Seising, Rudolf. On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

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

Binder, Walter. Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

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

Karl, Schlechta, and SpringerLink (Online service), eds. Conditionals and Modularity in General Logics. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.

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

Tanaka, Kōji. Paraconsistency: Logic and Applications. Dordrecht: Springer Netherlands, 2013.

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

Fitting, Melvin. Beyond two: Theory and applications of multiple-valued logic. Edited by Orlowska Ewa. Heidelberg: Physica-Verlag, 2003.

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

tre), Roma Workshop (5th 2001 University of Roma. New perspectives in logic and formal linguistics: Proceedings of the Vth Roma Workshop. Roma: Bulzoni, 2002.

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

W, Watson Bruce, ed. The correctness-by-construction approach to programming. Berlin: Springer, 2012.

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

Artemov, Sergei. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

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

The formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.

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

Ben-Ari, Mordechai. Mathematical Logic for Computer Science. Springer London, Limited, 2012.

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

Logikk og beregnbarhet. Oslo, Norway: Unipub forlag, 2001.

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

Beziau, Jean-Yves. Logica Universalis: Towards a General Theory of Logic. Springer London, Limited, 2007.

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

Logica Universalis: Towards a General Theory of Logic. Springer London, Limited, 2005.

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

Beziau, Jean-Yves. Logica Universalis: Towards a General Theory of Logic. Birkhäuser Basel, 2005.

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

Beziau, Jean-Yves. Logica Universalis: Towards a General Theory of Logic. Birkhauser, 2005.

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

Logica Universalis: Towards a General Theory of Logic. 2nd ed. Birkhäuser Basel, 2007.

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

King, Jeffrey C. Formal Semantics. Edited by Ernest Lepore and Barry C. Smith. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199552238.003.0023.

Full text
Abstract:
Semantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce precisely characterized theories of meaning for natural languages (i.e. naturally occurring languages such as English, Urdu, etc.) or artificial languages (i.e. first-order predicate logic, computer programming languages etc.). Formal semantics as we know it first arose in the twentieth century. It was made possible by certain developments in logic during that period. This article chronicles those developments and how they led to the development of formal semantics.
APA, Harvard, Vancouver, ISO, and other styles
42

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2010.

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

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2014.

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

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2010.

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

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2011.

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

Orlowska, Ewa, and Joanna Golińska Pilarek. Dual Tableaux : Foundations, Methodology, Case Studies: Foundations, Methodology, Case Studies. Springer, 2012.

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

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. University of Cambridge ESOL Examinations, 2014.

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

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press, 2012.

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

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press, 2012.

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

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Mathematical Logic and Formal Languages' 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