Search
Feedback
About
Help
News
| Listing 1 - 10 of 50 | << page >> |
Sort by
|
Book
ISBN: 041629460X 9780416294606 0416294707 Year: 1968 Volume: 431 Publisher: London : Methuen,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Mathematical logic --- Modality (Logic) --- Modality (Logic). --- Logique mathématique --- Modalité (logique) --- Logique mathématique.
Book
ISBN: 3540082026 0387082026 3642666353 9783540082026 Year: 1977 Volume: 187 Publisher: Berlin ; New York : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logique mathématique --- Informatique --- Logic, Symbolic and mathematical. --- Electronic data processing. --- 510.6 --- 510.6 Mathematical logic --- Logique mathématique. --- Informatique.
Book
ISBN: 0387108491 3540108491 3540387579 Year: 1981 Publisher: Berlin : Springer-Verl.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Model theory --- Set theory --- Congresses. --- Logic, Symbolic and mathematical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Théorie des ensembles
Book
ISBN: 3540108505 0387108505 3540387595 9783540108504 Year: 1981 Volume: 873 Publisher: Berlin : Springer-Verl.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 51 --- Mathematics --- Constructive mathematics --- Intuitionistic mathematics --- Congresses. --- 51 Mathematics --- Logic, Symbolic and mathematical --- Logique mathématique --- Mathématiques constructives --- Logique mathématique. --- Mathématiques constructives.
Book
ISBN: 3540057447 0387057447 3540371621 9783540057444 Year: 1972 Volume: 255 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.6 --- Logic, Symbolic and mathematical --- Congresses. --- 510.6 Mathematical logic --- Logique mathématique
ISBN: 354005569X 038705569X 3540368841 9783540055693 Year: 1973 Volume: 337 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.6 --- Logic, Symbolic and mathematical --- Congresses. --- 510.6 Mathematical logic --- Logique mathématique
Book
ISBN: 3540071555 0387071555 3540374833 9783540071556 Year: 1975 Volume: 453 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- 510.6 --- Mathematical logic --- 510.6 Mathematical logic --- Logique mathématique
Book
ISBN: 3540058192 0387058192 9780387058191 9783540058199 3642871321 Year: 1973 Publisher: Berlin Heidelberg New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logique mathématique --- Calcul des prédicats --- Calcul des propositions --- Logic, Symbolic and mathematical. --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logique mathématique. --- Calcul des prédicats. --- Calcul des propositions.
Book
ISBN: 3540075348 0387075348 3540380221 9783540075349 9780387075341 Year: 1975 Volume: 499 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.6 --- 510.6 Mathematical logic --- Set theory --- Théorie des ensembles --- Théorie des ensembles. --- Logique mathématique
Book
ISBN: 354007533X 038707533X 3540380205 9783540075332 Year: 1975 Volume: 500 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.6 --- 510.6 Mathematical logic --- Logique mathématique --- Logique mathematique --- Theorie de la preuve
| Listing 1 - 10 of 50 | << page >> |
Sort by
|