Dictionary of Logic as Applied in the Study of Language: Concepts/Methods/Theories: Melbourne International Philosophy Series, cartea 9
Editat de W. Marciszewskien Limba Engleză Hardback – 31 iul 1981
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1048.82 lei 38-44 zile | |
SPRINGER NETHERLANDS – 30 dec 2010 | 1048.82 lei 38-44 zile | |
Hardback (1) | 1195.18 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 iul 1981 | 1195.18 lei 6-8 săpt. |
Preț: 1195.18 lei
Preț vechi: 1457.54 lei
-18% Nou
Puncte Express: 1793
Preț estimativ în valută:
228.76€ • 238.42$ • 190.43£
228.76€ • 238.42$ • 190.43£
Carte tipărită la comandă
Livrare economică 07-21 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789024721238
ISBN-10: 9024721237
Pagini: 454
Ilustrații: XIV, 436 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.81 kg
Ediția:1981
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Melbourne International Philosophy Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9024721237
Pagini: 454
Ilustrații: XIV, 436 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.81 kg
Ediția:1981
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Melbourne International Philosophy Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Abstraction operator.- Algebraic structures.- Algorithms.- Analyticity.- Antinomies.- Arithmetic.- Automata.- Automata, finite.- Categorial grammar.- Classes, theory of.- Combinatory logic.- Completeness.- Computability abstract theory.- Consequence.- Consistency.- Counterexample, the method of.- Decidability.- Deduction theorem.- Deductive method.- Definability.- Definition.- Deontic logic.- Description, definite.- Dialogic logic.- Dot notation.- Duality.- Elementary theory.- Entailment and relevance.- Extension.- Formalization.- Gödel’s theorem.- Grammar, formal.- Independence.- Intension.- Intuitionistic logic.- Lambda-operator.- Legniewski’s systems.- Logical form.- Logic, modern, history of.- Many-valued logic.- Mappings.- Meaning.- Modality.- Modal logic.- Modal semantics.- Model theory.- Name.- Natural deduction.- Normal form.- Polish notation.- Pragmatics, logical.- Predicate logic.- Probability.- Programming languages.- Quantifiers.- Questions.- Recursive functions.- Relations, theory of.- Semantics, logical.- Sentence.- Sentence logic.- Sequent calculus.- Sets, infinite.- Sets, ordered.- Set theory, axiomatizations of.- Syntax, logical.- Tense logic.- Topology.- Trees.- Truth.- Truth-table method.- Types, theory of.- General bibliography.- Subject index and glossary.- Index of symbols.